M. Tofte and L. Birkedal: Region-annotated types and type schemes, 1996. Submitted for publication. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Polymorphic Subtyping for Effect Analysis: the Static.. - Nielson, Nielson, Amtoft (1997) (5 citations) (Correct)
....but the algorithmic issues are non trivial [12] presumably because the inference system is expressed without using constraints) 1] presents an algorithm that is sound as well as complete, but which generates constraints that are not guaranteed to have best solutions. Finally we should mention [22] where e#ects are incorporated into ML types in order to deal with region inference. A step forward. In this paper we take an important step towards integrating polymorphism, subtyping, and e#ects into one common type system. As far as the annotated type and e#ect system is concerned this ....
....an upper approximation of the branches is taken. We then have separate rules for subtyping, instantiation and generalisation and we shall explain their side conditions shortly. 3 Even though this is undecidable in general [6] one might allow polymorphic recursion in the annotations as in [7] or [22]. con) C, A# c : TypeOf(c) # (id) C, A# x : A(x) # (abs) C, A[x : t1 ] # e : t2 b C, A# fn x # e : t1 # b t2 ) # (app) C1 , A# e1 : t2 # b t1 ) b1 C2 , A# e2 : t2 b2 (C1 # C2 ) A# e1 e2 : t1 (b1 # b2 # b) let) C1 , A# e1 : ts1 b1 C2 , A[x : ts1 ] # ....
M. Tofte and L. Birkedal: Region-annotated types and type schemes, 1996. Submitted for publication.
Polymorphic Subtyping for Effect Analysis: the Algorithm - Nielson, Nielson, Amtoft (1997) (3 citations) (Correct)
....function space but there is no inclusion between base types. In our approach types are annotated with behaviour information (for example the function type t 1 # b t 2 ) Compared with the literature we do not attempt to collect information about the regions in which communications take place [17, 20]; neither do we enable polymorphic recursion in the type annotations as in [4, 20] on the other hand we do allow behaviours to contain annotated types. In [11] it was demonstrated that one must be very careful when deciding the set of variables over which to generalise in the inference rule for ....
.... are annotated with behaviour information (for example the function type t 1 # b t 2 ) Compared with the literature we do not attempt to collect information about the regions in which communications take place [17, 20] neither do we enable polymorphic recursion in the type annotations as in [4, 20]; on the other hand we do allow behaviours to contain annotated types. In [11] it was demonstrated that one must be very careful when deciding the set of variables over which to generalise in the inference rule for let: not only should this set be disjoint from the set of variables occurring in ....
[Article contains additional citation context not shown here]
M. Tofte and L. Birkedal: Region-annotated types and type schemes, 1996. Submitted for publication.
Polymorphic Subtyping for Effect Analysis: the Algorithm - Nielson, Nielson, Amtoft (1997) (3 citations) (Correct)
No context found.
M. Tofte and L. Birkedal: Region-annotated types and type schemes, 1996. Submitted for publication.
Polymorphic Subtyping for Effect Analysis: the Static.. - Nielson, Nielson, Amtoft (1997) (5 citations) (Correct)
No context found.
M. Tofte and L. Birkedal: Region-annotated types and type schemes, 1996. Submitted for publication.
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