Talpin, J.-P. and Jouvelot, P. 1992. Polymorphic Type, Region and E ect Inference. Journal of Functional Programming 2, 3, 245-271. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Monadic Encapsulation of Effects: A Revised Approach (Extended .. - Moggi, Sabry (2000) (4 citations) (Correct)
....interesting to adopt a lazy semantics for the pure interpreter, and then prove that it would induce the same observational congruence of the pure CBN interpreter. ffl Effect Masking. Semmelroth and Sabry (1999) show that runST implements a cheap form of effect masking (Lucassen Gifford, 1988; Talpin Jouvelot, 1992), thus extending the relation between effects and monads established by Wadler (1998) More precisely they give a translation from a type system with effects and regions (EML) to one with runST (MML) It seems plausible that the translation given by Semmelroth and Sabry (1999) can be adapted so ....
Talpin, J.-P., & Jouvelot, P. (1992). Polymorphic type, region and effect inference. Journal of Functional Programming, 2(3), 245--271.
Weak Polymorphism Can Be Sound - Greiner (1996) (1 citation) (Correct)
....The function ref , which creates reference cells, can safely be used at both the types int int ref and bool bool ref. A number of type systems have been proposed to allow code such as the latter example while preserving soundness (Damas, 1985; Hoang, et al. 1993; Leroy and Weis, 1991; Talpin and Jouvelot, 1992a; Talpin and Jouvelot, 1992b; Wright, 1992) Of particular interest for this paper are those of Tofte (1988) which is used in the definition of SML, and MacQueen (1992) which is used in the New Jersey implementation of SML (SML NJ) In the standard Hindley Milner type system, generalization is ....
....creates reference cells, can safely be used at both the types int int ref and bool bool ref. A number of type systems have been proposed to allow code such as the latter example while preserving soundness (Damas, 1985; Hoang, et al. 1993; Leroy and Weis, 1991; Talpin and Jouvelot, 1992a; Talpin and Jouvelot, 1992b; Wright, 1992) Of particular interest for this paper are those of Tofte (1988) which is used in the definition of SML, and MacQueen (1992) which is used in the New Jersey implementation of SML (SML NJ) In the standard Hindley Milner type system, generalization is allowed on all free type ....
[Article contains additional citation context not shown here]
Talpin, J.-P., Jouvelot, P. 1992. Polymorphic Type, Region and Effect Inference. In J. of Functional Programming, Vol. 2, No. 3. pp. 245--271. Cambridge University Press.
From ML to Ada: Strongly-typed Language Interoperability via.. - Tolmach, Oliva (1993) (36 citations) (Correct)
....can be eliminated. Pure primitive operators are marked as such in the template definition; for simplicity, all user function calls are treated as impure. A more sophisticated approach would be to perform an effects analysis on functions to increase the number of eliminable expressions (e.g. (Talpin and Jouvelot, 1992; Tarditi, 1996) 9 Removing Higher order Functions 9.1 Concepts Our target 3GLs do not directly support first class nested functions; Ada83 does not even support pointers to top level functions, and ANSI C does not support nested functions. We therefore must convert higher order programs into ....
Talpin, J.-P. and Jouvelot, P. (1992). Polymorphic type, region, and effect inference.
More Dynamic Object Re-classification: Fickle_II - Drossopoulou, Damiani.. (2002) (Correct)
No context found.
Talpin, J.-P. and Jouvelot, P. 1992. Polymorphic Type, Region and E ect Inference. Journal of Functional Programming 2, 3, 245-271.
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