$ CODIGO
log in

ATS

AKA ats2

ATS logo
Edit on GitHub GitHub 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

Code Example

↓
Loading...