J. C. Reynolds, Three approaches to type structure. In Mathematical Foundations of Software Development, LNCS 185, Springer-Verlag, 1985. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Monads and Composable Continuations - Wadler (1993) (2 citations) (Correct)
Principal Type Schemes for Functional Programs with Overloading.. - Smith (1994) (34 citations) (Correct)
Typechecking is Undecidable When 'type' is a Type - Reinhold (1989) (Correct)
Static Correctness of Hierarchical Procedures - Schwartzbach (1990) (Correct)
Typing and Subtyping - For Mobile Processes (Correct)
Computational Interpretations of Linear Logic - Abramsky (1993) (225 citations) (Correct)
Developments in Object-Oriented Type Systems - Schwartzbach (1994) (5 citations) (Correct)
On the Unusual Effectiveness of Logic in Computer Science - Halpern, Harper.. (2001) (1 citation) (Correct)
Types and Automata - Schwartzbach, Schmidt (1990) (Correct)
Static Correctness of Hierarchical Procedures - Schwartzbach (1990) (Correct)
Towards a Practical Programming Language Based on the .. - Lee, Leone.. (1989) (2 citations) (Correct)
Typing and Subtyping for Mobile Processes (Extended Abstract) - Pierce, Sangiorgi (1992) (Correct)
A Tutorial on the Universality and Expressiveness of Fold - Hutton (1993) (14 citations) (Correct)
Considerations for a Generic SAC Library - Schupp, Loos (1995) (Correct)
Theorems for Free! - Wadler (1989) (3 citations) (Correct)
Semantic Analyses for Storage Management Optimizations in.. - Park (1991) (2 citations) (Correct)
Types with Extents: - On Transforming (Correct)
A Taste of Linear Logic - Wadler (1993) (36 citations) (Correct)
Polymorphically Typed Logic Programs - Yardeni, Fruehwirth, Shapiro (1991) (31 citations) (Correct)
Positive Subtyping - Hofmann, Pierce (1994) (4 citations) (Correct)
Analysis and Efficient Implementation of Functional Programs - Sestoft (1991) (43 citations) (Correct)
An Introduction to Polymorphic Lambda Calculus - Reynolds (1994) (4 citations) (Correct)
The Girard-Reynolds Isomorphism - Wadler (2001) (3 citations) (Correct)
The Girard-Reynolds Isomorphism - Wadler (2001) (3 citations) (Correct)
A statically safe alternative to virtual types (Extended.. - Bruce, Odersky, Wadler (1998) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC