Shin-Ya Nishizaki, Yohji Akama  Home/Search
Context
Related
| nicosia.is.s.utokyo.ac.jp...westapp.ps 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: nicosia.is.s.utokyo.ac.jp/~ak... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We have studied a calculus with first-class environments which originates from the oe-calculus. We give a translation of the calculus to a record calculus and show fundamental properties by using the translation. First we give a translation of simply typed calculus ! env into simply-typed record calculus ! record , which is used for proving strong normalization of ! env . Second we introduce a translation of untyped calculus env into untyped -calculus and investigate extensional... (Update)
Active bibliography (related documents): More All
0.6: Confluence of Extensional and Non-Extensional λ-calculi.. - Kesner (Correct)
0.6: Explicit Substitutions for Objects and Functions - Kesner, López (1998) (Correct)
0.4: Lambda-Calculi With Explicit Substitutions And Weak.. - Ferreira, Kesner, Puel (1996) (Correct)
Similar documents based on text: More All
0.2: SN Combinators and Partial Combinatory Algebras - Yohji Akama (Correct)
0.2: Generic Techniques for Source-Level Debugging and Dynamic Program.. - Tip (1994) (Correct)
0.2: Duplication and Partial Evaluation to Implement Reflective.. - Asai (1993) (Correct)
BibTeX entry: (Update)
@misc{ nishizaki-translation,
author = "Shin-Ya Nishizaki and Yohji Akama",
title = "Translation of First-Class Environments to Records",
url = "citeseer.ist.psu.edu/91429.html" }
Citations (may not include all citations):430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman - 1985
28 and Jean-Jacques L'evy (context) - Abadi, Cardelli et al. - 1991
22 Confluence properties of extensional and non-extensional lam.. - Kesner - 1996
18 Metalevel building blocks for modular systems - Jagannathan - 1994
13 Optimal reduction in weak--calculus with shared environments (context) - Yoshida - 1993
11 Explicit environments (context) - Sato, Burstall - 1998
9 ese Hardin, and Jean-Jacques L (context) - Curien - 1996
4 Reference Manual for the Elk Extension Language Interpreter (context) - Laumann - 1990
4 Typed -calculi with explicit substitutions may not terminate (context) - Mellies - 1995
1 Information and Control (context) - Curien - 1986
1 volume 7 of Cambridge Tracts in Computer Science (context) - Girard, Taylor et al. - 1989
1 Type inference for simply-typed environment calculus with sh.. (context) - Nishizaki - 1995
1 Simply typed lambda calculus with first-class environments (context) - Nishizaki - 1995
1 Revised 3 repord on the algorithmic language scheme (context) - Rees, Clinger - 1986
Documents on the same site (http://nicosia.is.s.u-tokyo.ac.jp/~akama/): More
SN Combinators and Partial Combinatory Algebras - Yohji Akama (Correct)
Conservative Extensions of Polymorphic PCF - Akama (1996) (Correct)
Normal Proofs and Their Grammar - Takahashi, Akama, al. (1994) (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