Domain Theoretic Models Of Polymorphism (1989)

Cached

Download Links

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

Active Bibliography

102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
8 Coherence and Consistency in Domains – Carl A. Gunter, Achim Jung - 1990
3 Information Categories – Abbas Edalat, Michael B. Smyth - 1991
329 Theorems for free! – Philip Wadler - 1989
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
4 An Introduction to Polymorphic Lambda Calculus – John C. Reynolds - 1994
15 Universal Profinite Domains – Carl A. Gunter - 1987
148 Semantic Domains – C. A. Gunter, D. S. Scott - 1990
1 Building continuous webbed models for System F – S. Berardi, C. Berline - 2000
7 Data Categories – C. Barry Jay - 1996
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
8 The Girard-Reynolds isomorphism – Philip Wadler - 2001
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
6 I-Categories as a framework for solving domain equations – Abbas Edalat, Michael B. Smyth - 1993
7 Equational Theories for Inductive Types – Ralph Loader - 1997
3 Stable computational semantics of conflict-free rewrite systems (Draft). Available at http://www.sys.uea.ac.uk/~zurab – Zurab Khasidashvili, John Glauert - 2000
2 Towards a Set-Theoretic Type Theory – Andrzej Borzyszkowski, Ryszard Kubiak, Jacek Leszczylowski, Stefan Sokolowski - 1988