Design of the Programming Language Forsythe (1996)

by John C. Reynolds
Citations:111 - 0 self

Documents Related by Co-Citation

172 Refinement types for ML – Tim Freeman - 1994
56 Functional characters of solvable terms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik – M Coppo, M Dezani-Ciancaglini, B Venneri - 1981
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
25 The coherence of languages with intersection types – John C Reynolds - 1991
488 A semantics of multiple inheritance – Luca Cardelli - 1988
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
187 Soft typing with conditional types – Er Aiken - 1994
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
161 The essence of Algol – J C Reynolds - 1981
192 Soft Typing – Robert Cartwright, Mike Fagan - 1991
50 Programming With Intersection Types, Union Types, and Polymorphism – Benjamin C. Pierce - 1991
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
200 Type systems – Luca Cardelli, Jim Donahue, Mick Jordan, Bill Kalsow, Greg Nelson - 1997
103 Polymorphic type inference and containment – J C Mitchell - 1984
114 Type Inference for Record Concatenation and Multiple Inheritance – Mitchell Wand - 1989
59 Principal type schemes for an extended type theory – Ronchi della Rocca, S, B Venneri - 1984
218 A filter lambda model and the completeness of type assignment – M Coppo - 1983
20 union and intersection types for program extraction – Singleton