High-level synthesis of functional patterns with Lift

Martin Kristien, Bruno Bodin, Michel Steuwer, Christophe Dubach. High-level synthesis of functional patterns with Lift. In Jeremy Gibbons, editor, Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY@PLDI 2019, Phoenix, AZ, USA, June 22, 2019. pages 35-45, ACM, 2019. [doi]