Programming With Intersection Types, Union Types, and Polymorphism (1991)

Cached

Download Links

by Benjamin C. Pierce
Citations:52 - 3 self

Documents Related by Co-Citation

109 Design of the Programming Language Forsythe – John C. Reynolds - 1996
58 Intersection and union types: Syntax and semantics – F Barbanera, M Dezani-Cincaglini, U de’Liguoro - 1995
187 Soft typing with conditional types – Er Aiken - 1994
625 Compiling with Continuations – A Appel - 1992
366 Towards a theory of type structure – John C Reynolds - 1974
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
944 A theory of type polymorphism in programming – Robin Milner - 1978
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
485 A semantics of multiple inheritance – Luca Cardelli - 1988