1. Reflection and semantics in LISP;Smith,1984
2. Scheme: a interpreter for extended lambda calculus;Sussman;High.-Order Symb. Comput.,1998
3. Haskell 98;Peyton Jones;J. Funct. Program.,2003
4. POP, a broad-spectrum programming language, 1967-2002;Popplestone;Form. Asp. Comput.,2002
5. Exceeding the limits of polymorphism in database programming languages;Stemple,1990