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