H ? « ‹ ← → › »

Language peer sets for Nuprl:
United States↑
United States/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Nuprl(ID:1244/nup001)

alternate simple view
Country: United States
Designed 1986
Published: 1986

(pronounced "new pearl") Nearly Ultimate PRL. Interactive creation of formal mathematics, including definitions and proofs. An extremely rich type system, including dependent functions, products, sets, quotients and universes. Types are first-class citizens. Built on Franz Lisp and Edinburgh ML.
Related languages
Edinburgh ML → Nuprl   Based on
FranzLISP → Nuprl   Based on
PRL → Nuprl   Evolution of
References:
  • Constable, R.L. et al, (1986) Constable, R.L. et al, "Implementing Mathematics in the Nuprl Proof Development System", P-H 1986.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder