See this document in CiteSeerX!

Translation of First-Class Environments to Records  (Make Corrections)  
Shin-Ya Nishizaki, Yohji Akama



  Home/Search   Context   Related

 
View or download:
nicosia.is.s.utokyo.ac.jp...westapp.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  nicosia.is.s.utokyo.ac.jp/~ak... (more)
(Enter author homepages)

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

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