Sniak, N Theorie et pratique de SQIL: un langage intermediaire pour la compilation des langages fonctionnels. PhD thesis, Université Pierre et Marie Curie (Paris VI), November 1991.

Languages mentioned

• Sqil {1991} Intermediate language for functional programming languages