A Web navigator with applets in Caml

A language with distributed scope

Luca Cardelli · 1995 · 392 citations · Full text

Computing, Computer Science, Computer Architecture +16

Manifest types, modules, and separate compilation

Xavier Leroy · 1994 · 260 citations · Full text

Computing, Computer Science, Formal Methods +14

The ZINC experiment : an economical implementation of the ML language

Xavier Leroy · HAL (Le Centre pour la Communication Scientifique Directe) · 1990 · 167 citations · Full text

Computing, Computer Science, Computational Linguistics +4

Theoretical aspects of object-oriented programming: types, semantics, and language design

Choice Reviews Online · 1995 · 147 citations

Computing, Computer Science, Programming Languages +16

Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark

Pieter Hartel, Marc Feeley, Martin Alt et al. · Journal of Functional Programming · 1996 · 73 citations · Full text

Computing, Computer Science, Molecular Biology +15