High-level synthesis of functional patterns with Lift.

Martin Kristien, Bruno Bodin, Michel Steuwer, Christophe Dubach

Browse the full PLDI paper archive.