CODIGO
log in

Alice

Paradigms

functional, imperative, constraint

Typing

static system, strong typing, full inference

Influenced By

ML, Oz

External Links

Type programming
Created 1998
Developed by Saarland University
Carnegie Mellon University
PyPL Index N/A
TIOBE Index #51-100
GitHub rank N/A