Andrew W. Appel and David MacQueen. Standard ML of New Jersey Reference Manual. (in preparation), 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Soft Typing - Cartwright, Fagan (1991) (71 citations) (Correct)
....paper to the simple functional language Exp introduced by Milner[16] as the functional core of ML. The automatic type assignment and coercion insertion methods that we present for Exp can be extended to assignment and advanced control structures using the same techniques that Tofte[21] MacQueen[4], and Duba et al.[9] have developed for ML. The syntax of Exp is given by the following grammar: Definition 1 (The programming language) Let x range over a set of variables and c range over a set of constants K L : x j c j x:L j (L L) j let x = L in L The set K of constants contains ....
Andrew W. Appel and David MacQueen. Standard ML of new jersey reference manual. (in preparation), 1990.
Typing First-Class Continuations in ML - Duba, Harper, MacQueen (1991) (52 citations) Self-citation (Macqueen) (Correct)
....cannot be adapted to callcc. The required type has the form (8ff: ff) which lies outside of the scope of the ML type system. It is here that the two constructs differ in an ML like setting. Another way of typing continuations, and the one currently adopted in Standard ML of New Jersey [2], is to abandon the view that continuations are functions in the ordinary sense and to consider cont as a primitive type with an operation throw for invoking a continuation. The type of throw is given by throw : 8ff:8fi: ff cont) ff fi) and hence throw is essentially a coercion that ....
Andrew W. Appel and David MacQueen. Standard ML of New Jersey Reference Manual. (in preparation), 1990.
Typing First-Class Continuations in ML - Duba, Harper, MacQueen (1991) (52 citations) Self-citation (Macqueen) (Correct)
....Since types of the form (8ff: ff) lie outside of the scope of the ML type system, this method may not be adapted to callcc. It is here that the two constructs differ in an ML like setting. Another way of typing continuations, and the one currently adopted in Standard ML of New Jersey [2], is to abandon the view that continuations are functions in the ordinary sense and to consider cont as a primitive type with an operation throw for invoking a continuation. The type of throw is given by throw : 8ff:8fi: ff cont) ff fi) and hence throw is essentially a coercion that ....
Andrew W. Appel and David MacQueen. Standard ML of New Jersey Reference Manual. (in preparation), 1990.
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