Home Page for ATS

Functional language with a powerful type system, an efficient via-C compilation process, and (obviously) a superb name.

to compiler functional language-design research type-checking ... on 13 September 2008

Tags related to type-checking

- type-checking
 
1 compiler
1 functional
1 language-design
1 research
1 type-checking