Neil Ghani, Valeria De Paiva  Home/Search
Context Related
Links: DBLP | cs.bham.ac.uk/pub/aut...xsub_igpl.ps.gz Cached: PS.gz PS 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.
Image Update HelpPS.gz PS PDF From: cs.bham.ac.uk/research/xs...xslam (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The -calculus adds explicit substitutions to the -calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the -calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages. (Update)
Context of citations to this paper: More
...based on linear logic. For xSLAM we initially developed a linear calculus by adding explicit substitutions to Barber and Plotkin s DILL [GdPR00]. We then considered the categorical models one obtains for both intuitionistic and linear logic with explicit substitutions on the...
.... B ; N : A E ; M N : B This sublanguage is already mentioned in [1] We could use a calculus of linear explicit substitutions [6] to show the correctness of the machine presented in this section in a by now well established way [5] Because sharing and update in place...
Cited by: More
Linear Explicit Substitutions - Ghani, De Paiva (1998) (Correct)
Relating Categorical Semantics for Intuitionistic.. - Maietti, Maneggia, de.. (Correct)
Higher-Order Pattern Complement and the Strict ...-Calculus - Momigliano, Pfenning (Correct)
Active bibliography (related documents): More All
0.5: Categorical Models of Explicit Substitutions - Ghani, de Paiva, Ritter (1999) (Correct)
0.4: Explicit Substitutitions for Constructive Necessity - Ghani, de Paiva, Ritter (Correct)
0.3: On Explicit Substitutions and Names - Ritter, de Paiva (1997) (Correct)
Similar documents based on text: More All
1.0: Explicit Substitutions for Linear Logical Frameworks.. - Cervesato, de Paiva.. (1999) (Correct)
0.9: On Explicit Substitutions and Names (Extended Abstract) - Ritter, de Paiva (Correct)
0.7: Characterising Explicit Substitutions which Preserve Termination.. - Ritter (1999) (Correct)
Related documents from co-citation: More All
8: A term calculus for intuitionistic linear logic - Benton, Bierman et al. - 1993
7: Dual Intuitionistic Linear Logic (context) - Barber - 1995
7: On explicit substitution and names - Ritter, de Paiva - 1997
BibTeX entry: (Update)
N. Ghani, V. de Paiva, and E. Ritter. Linear explicit substitutions. In Proc. of Westapp'98, 1998. Full version submitted for publication. http://citeseer.ist.psu.edu/ghani98linear.html More
@techreport{ ghani98linear,
author = "Neil Ghani and Valeria de Paiva and Eike Ritter",
title = "Linear Explicit Subsitutions",
number = "CSR-98-2",
month = "March",
year = "1998",
url = "citeseer.ist.psu.edu/ghani98linear.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
215 Theoretical Computer Science (context) - Lafont, abstract - 1988 ACM
184 Linear types can change the world - Wadler - 1990
73 a calculus of explicit substitutions which preserves strong .. (context) - Benaissa, Briaud et al. - 1996
60 A term calculus for intuitionistic linear logic - Benton, Bierman et al. - 1993 ACM DBLP
51 Deriving a lazy abstract machine - Sestoft - 1997 ACM DBLP
47 Lilac: A functional programming language based on linear log.. (context) - Mackie - 1994
35 Reference counting as a computational interpretation of line.. - Chirimar, Gunter et al. - 1996 DBLP
16 University of Edinburgh (context) - Ghani, PhD - 1995
13 Linear explicit substitutions - Ghani, de Paiva et al. - 1998 DBLP
12 calculi with explicit substitution may not terminate (context) - Mellies - 1995
11 Semantics and Action Calculi (context) - Barber, Theories - 1997
11 On explicit substitution and names - Ritter, de Paiva - 1997
10 Explicit substitutions for constructive necessity (context) - Ghani, de Paiva et al. - 1998 ACM DBLP
10 The Geometry of Interaction Machine (context) - Mackie - 1995 ACM DBLP
10 and Jean-Jaques Levy (context) - Abadi, Cardelli et al. - 1991
7 equality for coproducts (context) - Ghani - 1995
7 the linear decoration of intuitionistic derivations - Danos, Joinet et al. - 1995
5 An abstract machine based on linear logic and explicit subst.. (context) - Alberti - 1997
5 Preesrvation of strong normalisation in named lambda calculi.. (context) - Bloo, Rose - 1995
2 Categorical models for explicit substitutions - Ghani, de Paiva et al. - 1999
2 Adjoint rewriting and (context) - Ghani - 1998
The graph only includes citing articles where the year of publication is known.
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