See this document in CiteSeerX!

Unknown  (Make Corrections)  
Expansion Variables For System E: Expansion Variables for Flexible Typing with Linear and Non-linear...



  Home/Search   Context   Related

 
View or download:
macs.hw.ac.uk/DART/reports...CPWK04.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  macs.hw.ac.uk/DART/reports/D2.... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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