Neil Ghani, Valeria de Paiva, Eike Ritter  Home/Search
Context Related
| cs.bham.ac.uk/~vdp/publica...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/~vdp/publi...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The oe-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 oe-calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages. Our main observation is that there are non-trivial interactions between linearity and explicit substitutions and ... (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
0.6: Dependent Types and Explicit Substitutions - Muñoz (1999) (Correct)
0.5: Normalization Bounds in Rudimentary Linear Lambda Calculus - Maietti, de Paiva, Ritter (Correct)
0.5: Explicit Substitutions for Linear Logical Frameworks.. - Cervesato, de Paiva.. (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/article/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/article/ghani98linear.html" }
Citations (may not include all citations):215 Theoretical Computer Science (context) - Girard - 1987
215 Theoretical Computer Science (context) - Lafont, abstract - 1988
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
51 Deriving a lazy abstract machine - Sestoft - 1997
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
23 Typed -calculi with explicit substitution may not terminate (context) - Mellies - 1995
20 fij-equality for coproducts (context) - Ghani - 1995
16 University of Edinburgh (context) - Ghani, PhD - 1995
13 Linear explicit substitutions - Ghani, de Paiva et al. - 1998
11 On explicit substitution and names - Ritter, de Paiva - 1997
11 Semantics and Action Calculi (context) - Barber, Theories - 1997
10 and Jean-Jaques L'evy (context) - Abadi, Cardelli et al. - 1991
10 Explicit substitutions for constructive necessity (context) - Ghani, de Paiva et al. - 1998
10 The Geometry of Interaction Machine (context) - Mackie - 1995
7 the linear decoration of intuitionistic derivations - Danos, Joinet et al. - 1995
5 Preesrvation of strong normalisation in named lambda calculi.. (context) - Bloo, Rose - 1995
5 An abstract machine based on linear logic and explicit subst.. (context) - Alberti - 1997
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.
Documents on the same site (http://www.cs.bham.ac.uk/~vdp/publications/papers.html): More
On Explicit Substitutions and Names - Ritter, de Paiva (1997) (Correct)
A Dialectica Model of State - Correa, Hauesler, de Paiva (1996) (Correct)
Relating Categorical and Kripke Semantics for.. - Alechina, de Paiva.. (1998) (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