Luca Cardelli

Cardelli, Luca et al "On Understanding Types, Data Abstractions and Polymorphism" ACM Comp Surveys 17(4) (Dec 1985).

(1985)

Languages mentioned

  • Fun {1985} Typed lambda-calculus