Sciweavers

FPCA
1991
13 years 9 months ago
Dynamics in ML
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
Xavier Leroy, Michel Mauny