Turing-Completeness of Polymorphic Stream Equation Systems. - Christian Sattler; Florent Balestrieri (RTA, 2012)

The productivity of polymorphic stream equations and the composition of circular traversals. - Florent Balestrieri (2015)

Generic Programming in OCaml. - Florent Balestrieri; Michel Mauny (ML/OCAML, 2016)

A Staged Embedding of Attribute Grammars in Haskell. - Marcos Viera; Florent Balestrieri; Alberto Pardo (IFL, 2018)