Ponder

Jon Fairbairn

A polymorphic, non-strict functional language. It has a type system similar to Girard's System F (Proofs and Types, J-Y. Girard, Cambridge University Press, 1989), also known as Lambda-2 or the polymorphic lambda calculus. Ponder adds extra recursive 'mu' types to those of F, allowing more general recursion.

"Ponder and its Type System", J. Fairbairn, TR 31, Cambridge University Computer Lab, Nov 1982.

"Subtyping in Ponder", V. Paiva, TR 203, Aug 1990.