Ist- Dynamic Assembly DART IST-2001-33477 Dynamic Assembly, Reconfiguration and Type-checking...  Home/Search
Context
Related
| macs.hw.ac.uk/DART...Deliverable2.3.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: This report shows how expansion variables enable a unification-based automatic type inference algorithm for System E that finds a typing for every #-normalizable #-term. As a vital part of the proof of this property, it is shown that each step of the unification algorithm corresponds to exactly one #-reduction step, and vice versa. This formally verifies and makes precise a correspondence between type inference and #-reduction that before was only known informally at an intuitive level and only ... (Update)
Active bibliography (related documents): More All
1.2: Unknown - Ist- Dynamic Assembly (Correct)
0.6: Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2004) (Correct)
0.5: Expansion: the Crucial Mechanism for Type Inference with.. - Carlier, Wells (2005) (Correct)
Similar documents based on text: More All
0.4: Type Inference for PolyA - Henning Makholm Http (2004) (Correct)
0.2: A Formal Framework for Java Separate Compilation - Ancona, Lagorio, Zucca (2002) (Correct)
0.2: Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
BibTeX entry: (Update)
@misc{ assembly-unknown,
author = "Ist- Dynamic Assembly",
title = "Unknown",
url = "citeseer.ist.psu.edu/728723.html" }
Citations (may not include all citations):126 Type inference with polymorphic recursion - Henglein - 1993
118 What are principal typings and what are they good - Jim - 1996
79 Polymorphic type schemes and recursive definitions (context) - Mycroft - 1984
75 The essence of principal typings - Wells - 2002
54 Type reconstruction in the presence of polymorphic recursion (context) - Kfoury, Tiuryn et al. - 1993
50 Principality and type inference for intersection types using.. - Kfoury, Wells - 2004
50 Principality and type inference for intersection types using.. - Kfoury, Wells - 2003
47 Principality and decidable type inference for finite-rank in.. - Kfoury, Wells - 1999
45 Finding the source of type errors (context) - Wand - 1986
35 Type error slicing in implicitly typed (context) - Haack, Wells - 2004
35 Type error slicing in implicitly typed (context) - Haack, Wells - 2003
28 Mobility types for mobile processes in mobile ambients (context) - Coppo, Dezani-Ciancaglini et al. - 2003
20 Rank 2 intersection types for local definitions and conditio.. - Damiani - 2003
15 PolyA: True type polymorphism for Mobile Ambients - Amtoft, Makholm et al. - 2003
14 Rank 2 Intersection Types for Modules - Damiani - 2003
12 Expansion variables for flexible typing with linear and non-.. (context) - Carlier, Polakow et al. - 2004
12 Type inference with expansion variables and intersection typ.. - Carlier, Wells - 2004
7 Mobile processes with dependent communication types and sing.. - Amtoft, Wells - 2002
5 Dipartimento di Matematica e Informatica (context) - Honsell, Scagnetto et al. - 2003
4 Technical Report HW-MACS-TR (context) - Makholm, Wells et al. - 2004
3 Principal typings and true rank 2 intersection typable recur.. - Damiani - 2003
2 Prolog implementation of type inference algorithms for mobil.. - Coppo, Giovannetti - 2003
2 Version with conclusion and appendice [Damd] (context) - Rank, for et al. - 2003
2 Type inference for Mobile Ambients in Prolog - Giovannetti - 2004
1 see the longer report [KW (context) - proofs
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 - Expansion Variables For (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