H ?
«
‹
←
→
›
»
Language peer sets for Ponder:
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Ponder(ID:1512/pon001)
alternate simple view
Designed 1989
Published: 1989
Jon Fairbairn, . Polymorphic, non-strict functional language. Has a type system similar to Girard's System F, also known as Lambda-2 or the polymorphic lambda calculus. Ponder adds extra recursive 'mu' types to those of F, allowing more general recursion.
Structures:
References:
Fairbairn, J. (1982) Fairbairn, J. "Ponder and its Type System", TR 31, Cambridge U Computer Lab, Nov 1982
Abstract
Abstract
Fairbairn, Jon (1982) Fairbairn, Jon "A new type-checker for a functional language" Technical Report UCAM-CL-TR-53
Paiva, V. (1990) Paiva, V. "Subtyping in Ponder", TR 203, Aug 1990
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|