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

Documents Related by Co-Citation

64 Coinductive Axiomatization of Recursive Type Equality and Subtyping – Michael Brandt, Fritz Henglein - 1998
99 Relational Properties of Domains – Andrew M. Pitts - 1996
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
267 Semantics of Programming Languages: Structures and Techniques. Foundations of Computing Series – C Gunter - 1992
37 Recursive Subtyping Revealed – Vladimir Gapeyev, Michael Levin, Benjamin Pierce - 2000
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
32 A Semantic analysis of control – James David Laird - 1998
702 Types and programming languages – Benjamin C Pierce - 2002
65 Call-by-Value Games – Samson Abramsky, Guy Mccusker - 1997
62 Remarks on algebraically compact categories – P J Freyd - 1991
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
10 Isomorphisms of generic recursive polynomial types – Marcelo Fiore
89 Dual intuitionistic linear logic – A Barber, G Plotkin - 1997
353 Proofs and Types – Jean-Yves Girard, Yves Lafont, Paul Taylor - 1989
12 Mockingbird: Flexible Stub Compilation from Pairs of Declarations – Joshua Auerbach, Charles Barton, Mark Chu-carroll, Mukund Raghavachari - 1999
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
121 Bisimilarity as a theory of functional programming – A D Gordon
4 Intensional analysis of higher-kinded recursive types – Gregory D. Collins, Zhong Shao - 2002