Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )
Jump to user comments
Ponder's type system is unusual. It is more powerful than the
Hindley-Milner type system used by ML and Miranda and
extended by Haskell. Ponder adds extra recursive 'mu' types
to those of Girard's System F, allowing more general
recursion. Surprisingly, the type system and typeinference algorithm are still not completely understood.
["Ponder and its Type System", J. Fairbairn, TR 31, Cambridge
U Computer Lab, Nov 1982].
[J. Fairbairn, "Design and Implementation of a Simple Typed
Language based on the Lambda-Calculus", Technical Report
No. 75, Computer Laboratory, University of Cambridge, May
[J. Fairbairn, "A New Type-Checker for a Functional Language",
Technical Report No. 53, Computer Laboratory, University of
Cambridge, 1984].
[J. Fairbairn, "Some Types with Inclusion Properties in
forall, rightarrow, mu", Technical Report No. 171, Computer
Laboratory, University of Cambridge, Jun 1989].