Shin-ya Nishizaki. A polymorphic environment calculus and its type-inference algorithm. Higher-Order and Symbolic Computation, 13(3):241--280, 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Contractual Types - Nierstrasz (Correct)
....[ACCL90] makes environment explicit, but does not turn them into first class values. Dami s calculus of names, #N[Dam98] replaces variables by names, and has a similar flavour to our form calculus, but still does not treat environments as first class values. Nishizaki s environment calculus [Nis00] treats environments as first class values, and supports a polymorphic, ML style type system with a corresponding type inference algorithm. Although the environment calculus is superficially very similar to the form calculus, it skirts the issue of when expressions are open or closed. Sato s ## ....
Shin-ya Nishizaki. A polymorphic environment calculus and its typeinference algorithm. Higher-Order and Symbolic Computation, 13(3):241-- 280, 2000.
Contractual Types - Oscar Nierstrasz Institut (Correct)
No context found.
Shin-ya Nishizaki. A polymorphic environment calculus and its type-inference algorithm. Higher-Order and Symbolic Computation, 13(3):241--280, 2000.
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