Domain Theoretic Models Of Polymorphism (1989)

Cached

Download Links

by Thierry Coquand , Carl A. Gunter , Glynn Winskel
Citations:34 - 2 self

Documents Related by Co-Citation

141 The system F of variable types: Fifteen years later – J-Y Girard - 1986
45 Dl-Dom,øins as & Model of Polymorphism – Coquand Thierr¡ Carl Gunter, Glynn \Minskel
47 Polymorphism is set-theoretic constructively – A Pitts - 1988
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
122 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
26 An Investigation of a Programming Language with a Polymorphic Type Structure – N McCracken - 1979
33 A small complete category – J M E Hyland - 1988
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
227 Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types – Jean-Yves Girard - 1970
36 Categorical semantics for higher order polymorphic lambda calculus – R Seely - 1987
24 Types, Abstraction and Parametric Polymorphism. Information Processing 83 – J C Reynolds - 1983
19 The �nitary projection model for second order lambda calculus and solutions to higher order domain equations – �ABL86� R Amadio� K B Bruce�, G Longo - 1986
44 Automatic synthesis of typed -programs on term algebras. TCS – Corrado Bohm, Alessandro Berarducci - 1985
124 1973] Metamathematical Investigation of Intuitionistic Arithmetic and Analysis – A S Troelstra
83 The effective topos – M E Hyland - 1982
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
30 The semantics of second-order lambda calculus – Kim B Bruce, Albert R Meyer, John C Mitchell - 1990
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986