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:32 - 0 self

Documents Related by Co-Citation

99 Relational Properties of Domains – Andrew M. Pitts - 1996
65 Coinductive Axiomatization of Recursive Type Equality and Subtyping – Michael Brandt, Fritz Henglein - 1998
305 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
268 Semantics of Programming Languages: Structures and Techniques – C A Gunter - 1992
32 A Semantic analysis of control – James David Laird - 1998
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
89 Dual intuitionistic linear logic – A Barber - 1996
11 Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc – Hayo Thielecke - 1998
40 GEDANKEN|a simple typeless language based on the principle of completeness and the reference concept – J C Reynolds - 1970
6 Mathematical semantics of SNOBOL4 – R D Tennent - 1973
12 Properties of Terms in Continuation-Passing Style in an Ordered Logical Framework – Jeff Polakow, Frank Pfenning - 2000
36 Logic Continuations – C T Haynes - 1986
112 Continuations: A Mathematical Semantics for Handling Full Jumps – Christopher Strachey - 1974
30 Linear Continuations – Andrzej Filinski - 1992
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
121 Bisimilarity as a theory of functional programming – Andrew D Gordon - 1999
55 From Algol to Polymorphic Linear Lambda-calculus – Peter W. O'Hearn, John C. Reynolds - 1997
142 Fundamental properties of infinite trees – B Courcelle - 1983
240 The Lazy Lambda Calculus – Samson Abramsky - 1990