High-level Proofs about Low-level Programs. - Holger Gast; Julia Trieflinger (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Automatic refunctionalization to a language with copattern matching: with applications to the expression problem. - Tillmann Rendel; Julia Trieflinger; Klaus Ostermann (ICFP, 2015)