J.C. Mitchell and R. Harper, The Essence of ML, Proc. 15th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), San Diego, 1988, pp. 28-46.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....map and o denotes composition in C. 1 This theory is actually a fragment of second order lambda calculus (e.g. 12] in which types are (implicitly universally quantified) schema, closed under type substitution. The language is closely related to the Core ML language of implicit polymorphism [24]. 5 4. If t : 1 2 2 is t = t 1 ; t 2 and kt i k : koe 1 k 2 1 1 1 2 koe k k 0 k i k for i = 1; 2 , then ktkA = kt 1 kA; kt 2 kA . 5. If t : i is 5 i (t 0 ) i = 1; 2 ) where kt 0 k : koe 1 k2 1 1 1 2koe k k 0 k 1 2 2 k then k5 i (t 0 )k is 5 i o kt 0 k, where 5 i is the ....

J.C. Mitchell and R. Harper, The Essence of ML, Proc. 15th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), San Diego, 1988, pp. 28-46.

....map and o denotes composition in C. 1 This theory is actually a fragment of second order lambda calculus (e.g. 12] in which types are (implicitly universally quantified) schema, closed under type substitution. The language is closely related to the Core ML language of implicit polymorphism [24]. 4. If t : 1 Theta 2 is t = t 1 ; t 2 and kt i k : koe 1 k Theta Delta Delta Delta Theta koe k k Gamma k i k for i = 1; 2 , then ktkA = kt 1 kA; kt 2 kA . 5. If t : i is Pi i (t 0 ) i = 1; 2 ) where kt 0 k : koe 1 k Theta Delta Delta Delta Theta koe k k Gamma ....

J.C. Mitchell and R. Harper, The Essence of ML, Proc. 15th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), San Diego, 1988, pp. 28-46.

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