"A Church-Style Intermediate Language for MLF."

Didier Rémy, Boris Yakobowski (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics