Expansion Variables For System E: Expansion Variables for Flexible Typing with Linear and Non-linear...  Home/Search
Context
Related
| macs.hw.ac.uk/DART/reports...CPWK04.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: macs.hw.ac.uk/DART/reports/D2.... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Types are often used to control and analyze computer programs. (Update)
Active bibliography (related documents): More All
0.4: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.4: System E: Expansion Variables for Flexible Typing.. - Carlier, Polakow.. (2004) (Correct)
0.4: Unknown - Expansion Variables For (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ for-unknown,
author = "Expansion Variables For",
title = "Unknown",
url = "citeseer.ist.psu.edu/739931.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978
343 Principal type schemes for functional programs (context) - Damas, Milner - 1982
325 Towards a theory of type structure (context) - Reynolds - 1974
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988
184 Linear types can change the world - Wadler - 1990
169 The call-by-need lambda calculus - Ariola, Felleisen et al. - 1995
137 A filter lambda model and the completeness of type assignmen.. (context) - Barendregt, Coppo et al. - 1983
118 What are principal typings and what are they good - Jim - 1996
81 Once upon a type - Turner, Wadler et al. - 1995
75 The essence of principal typings - Wells - 2002
75 Interpretation Fonctionnelle et Elimination des Coupures de .. (context) - Girard - 1972
73 Is there a use for linear logic (context) - Wadler - 1991
63 Principal type schemes and #-calculus semantics (context) - Coppo, Dezani-Ciancaglini et al. - 1980
53 Quasi-linear types - Kobayashi
50 Principality and type inference for intersection types using.. - Kfoury, Wells - 2003
50 Principality and type inference for intersection types using.. - Kfoury, Wells
47 Principality and decidable type inference for finite-rank in.. - Kfoury, Wells
26 Intersection type assignment systems (context) - van Bakel - 1995
25 Once upon a polymorphic type - Wansbrough, Jones
25 Operational interpretations of linear logic - Turner, Wadler - 1999
24 th ACM Symp (context) - Rec - 1999
16 Polar type inference with intersection types and - Carlier - 2002
Documents on the same site (http://www.macs.hw.ac.uk/DART/reports/D2.3/): More
Type Inference for Mobile Ambients in Prolog - Giovannetti (2004) (Correct)
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (Correct)
Unknown - Ist- Dynamic Assembly (Correct)
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