Coinductive Axiomatization of Recursive Type Equality and Subtyping (1998)

Cached

Download Links

by Michael Brandt , Fritz Henglein
Citations:65 - 2 self

Documents Related by Co-Citation

305 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
37 Recursive Subtyping Revealed – Vladimir Gapeyev, Michael Levin, Benjamin Pierce - 2000
48 Efficient Recursive Subtyping – Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach - 1995
142 Fundamental properties of infinite trees – B Courcelle - 1983
21 E cient recursive subtyping – Dexter Kozen, Jens Palsberg, Michael I Schwartzbach - 1993
39 Provable Isomorphisms of Types – Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo - 1990
15 The Mockingbird System: A Compiler-based Approach to Maximally Interoperable Distributed Programming – Joshua Auerbach, Mark C. Chu-carroll, T. J. Watson
34 Isomorphisms of types: from *-calculus to in-formation retrieval and language design. Birkhauser – R Di Cosmo - 1995
51 Using types as search keys in function libraries – M Rittri - 1991
177 Regular Expression Types for XML – Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce - 2003
32 Syntactic considerations on recursive types – Marcelo P. Fiore - 1996
15 Type inference in systems of recursive types with subtyping – Trevor Jim, Jens Palsberg - 1997
126 An ideal model for recursive polymorphic types – David MacQueen, Gordon Plotkin, Ravi Sethi - 1986
19 Automated Support for Seamless Interoperability in Polylingual Software Systems – Daniel J. Barrett, Alan Kaplan, Jack C. Wileden - 1996
116 Signature Matching: a Tool for Using Software Libraries – Amy Moormann Zaremski, Jeannette M. Wing - 1995
84 Infinite Objects in Type Theory – Thierry Coquand
3218 Communication and Concurrency – R Milner - 1989
18 Retrieving Library Functions By Unifying Types Modulo Linear Isomorphism – Mikael Rittri - 1992
26 The category of finite sets and cartesian closed categories – S V SOLOVIEV - 1983