CODIGO
log in

ats

AKA ats2

ats logo

Paradigms

functional, declarative

Domains

formal verification

Typing

linear system

Influenced By

C++, OCaml, ML, Dependent ML

File extensions

dats, hats, sats

External Links

Type programming
Created 2006
Developed by Boston University
PyPL Index N/A
TIOBE Index N/A
GitHub rank N/A