Shin-ya Nishizaki. Type inference for simply-typed environment calculus with shadowing. In Proceedings of the Fuji International Workshop on Functional and Logic Programming, 1995. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Translation of First-Class Environments to Records - Nishizaki, Akama Self-citation (Nishizaki) (Correct)
....version and showed a method with translations of environments into records. The method is originally introduced in order to prove strong normalization of simply typed calculus with first class environments in [Nis95a] The type system there is different to the one in this paper (and in the paper [Nis95b]) we could not type a term with shadowing among bindings, e.g. x:x:x. Actually the method works well also in the type system in this paper. Moreover, we tried to use the translation in order to investigate relationship between the untyped calculus with first class environments and the classical ....
Shin-ya Nishizaki. Type inference for simply-typed environment calculus with shadowing. In Proceedings of the Fuji International Workshop on Functional and Logic Programming, 1995.
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