Syntactic considerations on recursive types (1996)

Cached

Download Links

by Marcelo P. Fiore
Venue:In Proceedings of the 11th Annual Symposium on Logic in Computer Science
Citations:31 - 0 self

Active Bibliography

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
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
730 Notions of Computation and Monads – Eugenio Moggi - 1991
4 Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) – Marcelo Fiore, Kohei Honda - 1998
External Examiner – Weng Kin Ho, Dr. Martín Escardó - 2006
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992
Developing Theories of Types and Computability – Thesis Proposal, Lars Birkedal - 1999
1 Inductive, Projective, and Retractive Types – Brian T. Howard - 1993
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
99 Relational Properties of Domains – Andrew M. Pitts - 1996
19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
11 Two Models of Synthetic Domain Theory – Marcelo P. Fiore, Giuseppe Rosolini - 1997
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
38 Baby Modula-3 and a theory of objects – Martín Abadi, Robert W. Taylor - 1993
137 PolyTOIL: A type-safe polymorphic object-oriented language – Kim B. Bruce, Adrian Fiech, Angela Schuett, Robert Van Gent - 1995
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
2 Partial Morphisms in Categories of Effective Objects – Eugenio Moggi - 1996