article by Peter Sestoft & Harald S:Gfndergaard published 1 February 1988 in ACM SIGPLAN Notices

scholarly article by Stephan Diehl et al published May 2000 in Future Generation Computer Systems

article by Neil D. Jones et al published 1985 in Lecture Notes in Computer Science

journal article published in 2017

article by Neil D. Jones et al published February 1989 in Higher-Order and Symbolic Computation

scientific article published on June 20, 2011