Dynamics in ML (1993)
Cached
Download Links
- [pauillac.inria.fr]
- [gallium.inria.fr]
- [gallium.inria.fr]
- [pauillac.inria.fr]
- [gallium.inria.fr]
- [pauillac.inria.fr]
- DBLP
Other Repositories/Bibliography
by
Xavier Leroy
,
Michel Mauny
,
Inria Rocquencourt
| Citations: | 53 - 0 self |
BibTeX
@MISC{Leroy93dynamicsin,
author = {Xavier Leroy and Michel Mauny and Inria Rocquencourt},
title = {Dynamics in ML},
year = {1993}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions of the ML language with dynamics, based on our work on the CAML implementation of ML, and discusses their usefulness. The main novelty of this work is the combination of dynamics with polymorphism.
