Work

Dynamics in ML

Year: 1993

Type: article

Abstract: Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This paper 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.

Source: Journal of Functional Programming

DOI: 10.1017/s0956796800000848

Authors: Xavier Leroy, Michel Mauny

Institution: Institut national de recherche en sciences et technologies du numérique

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2117552698

FWCI: 3.221

Cites: 18

Cited by: 65

Related to: 10