Simon L. Peyton Jones Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1992, v:2, n:2, pp:127-202 [Journal]
Harry G. Mairson Quantifier Elimination and Parametric Polymorphism in Programming Languages. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1992, v:2, n:2, pp:213-226 [Journal]