H ? « ‹ ← → › »

Language peer sets for Fun:
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Fun(ID:2651/fun001)

Typed lambda-calculus 

alternate simple view
Designed 1985
Published: 1985

A typed lambda-calculus, similar to SOL[2]
References:
  • Cardelli, Luca et al (1985) Cardelli, Luca et al "On Understanding Types, Data Abstractions and Polymorphism" ACM Comp Surveys 17(4) (Dec 1985).
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder