X. Leroy and M. Mauny. Dynamics in ML. Journal of Funtional Programming, 1993.  Home/Search   Document Not in Database   Summary   Related Articles

....of constructor 2 THE KERNEL LANGUAGE 4 functions. Although we do not need the full power of this kind of dynamics we only use them to model local existential quantification we have preferred this approach because of its simplicity and well foundness due to the work of [ACPP89, ACPR96, LM93] The rest of this report is organized as follows. In Section 2, we define a functional kernel language, called Opal, that serves as a base for our investigations. In Section 3, we introduce the basic syntax and pragmatics of the concurrency monad of Opal, expressed in terms of the kernel ....

....typed; however, in an external representation of the language, explicit types may be omitted and be inferred by the compiler instead, thereby unifying polymorphic instantiation and ad hoc overloading. Opal supports a generalized notion of dynamic typing in the sense of [ACPP89, ACPR96, LM93] the domain type of a constructor function may depend on type variables not bound in the co domain type. The dynamic primitive of [ACPR96] for example, is a plain constructor in Opal of type ff dyn, with dyn being a 0 ary type constructor. The typecase expression is unified with ....

[Article contains additional citation context not shown here]

X. Leroy and M. Mauny. Dynamics in ML. Journal of Funtional Programming, 1993.

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