Searching for "Dynamics in ML." – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
Dynamics in ML
- …Journal of Functional Programming, volume 3 number 4, 1993. Dynamics in ML Xavier Leroy Ecole…
- Cited by 49 (0 self) – Add To MetaCart
-
Dynamics In ML
- … `a combiner les dynamiques avec le polymorphisme. Dynamics in ML Xavier Leroy Michel Mauny Abstract…
- Add To MetaCart
-
Dynamic ML without Dynamic Types
- …Dynamic ML without Dynamic Types Stephen Gilmore, Dilsun K'irl'i and Christopher Walton Laboratory…
- Add To MetaCart
-
Dynamic ML without Dynamic Types
- …Dynamic ML without Dynamic Types Stephen Gilmore, Dilsun K'irl'i and Christopher Walton Laboratory…
- Cited by 22 (0 self) – Add To MetaCart
-
Dynamic Typing for Distributed Programming in Polymorphic Languages
- … proposals for incorporating dynamics into languages with parametric polymorphism, such as ML, have serious…
- Cited by 21 (5 self) – Add To MetaCart
-
Combining Recursive and Dynamic Types
- …-typed programs hold. The interpretation works also for implicitly polymorphic languages like ML with Dynamic…
- Add To MetaCart
-
Abstract Machines for Dynamic Computation
- …-compilation and code-replacement of modules. The resulting dynamic software architecture, which we call Dynamic ML…
- Cited by 5 (0 self) – Add To MetaCart
-
PEer-toPeer Implementation and TheOry Workpackage 1: Formal Models
- … than depend on general dynamic typing. One of the most powerful features of ML-like languages…
- Add To MetaCart
-
Dynamic Typing in Polymorphic Languages
- … to ours is that of Leroy and Mauny, who define and investigate two extensions of ML with dynamic types. We…
- Cited by 81 (3 self) – Add To MetaCart
-
Originality Statement...............................
- … execution. Related to Duggan’s work is Dynamic ML [GKW97, WKG00], a proposed implementation of a similar…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
