P. Jouvelot and D. Gioeord. Algebraic reconstruction of types and eoeects. In ACM Symposium on Principles of Programming Languages, 1991. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Synchronising with First-Class Conditions - Afshartous (Correct)
....Y v (f:x:e 1 ) in e 2 3.2. Static semantics of the source language. In order to enforce restrictions within synchronization conditions we incorporate eoeects into the source static semantics. Eoeects come out of research done at the MIT Laboratory for Computer Science in the late 1980 s [Luc87] [JG91] [LG91] One product of this research was the The FX language [GJLS87] which applies its eoeect system to perform parallel code generation and stack allocation of temporary data structures. Talpin and Jouvelot subsequently designed an eoeect type system for the core of ML [TJ92] They then ....
P. Jouvelot and D. Gioeord. Algebraic reconstruction of types and eoeects. In ACM Symposium on Principles of Programming Languages, 1991.
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