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 viewCountry: 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
References: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |