Coinductive Axiomatization of Recursive Type Equality and Subtyping (1998)

Cached

Download Links

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

Documents Related by Co-Citation

308 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 – Bruno Courcelle - 1983
22 E cient recursive subtyping – Dexter Kozen, Jens Palsberg, Michael I Schwartzbach - 1993
34 Isomorphisms of types: from -calculus to information retrieval and language design – Roberto Di Cosmo - 1995
15 The Mockingbird System: A Compiler-based Approach to Maximally Interoperable Distributed Programming – Joshua Auerbach, Mark C. Chu-carroll, T. J. Watson
50 Using types as search keys in function libraries – M Rittri - 1989
39 Provable Isomorphisms of Types – Kim B. Bruce, Roberto Di Cosmo, Giuseppe Longo - 1990
177 Regular Expression Types for XML – Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce - 2003
31 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
116 Signature Matching: a Tool for Using Software Libraries – Amy Moormann Zaremski, Jeannette M. Wing - 1995
18 Automated Support for Seamless Interoperability in Polylingual Software Systems – Daniel J. Barrett, Alan Kaplan, Jack C. Wileden - 1996
83 Infinite Objects in Type Theory – Thierry Coquand
3219 Communication and Concurrency – R Milner - 1990
26 The category of finite sets and cartesian closed categories – S V Soloviev - 1983
18 Retrieving Library Functions By Unifying Types Modulo Linear Isomorphism – Mikael Rittri - 1992