« earlier | later » Page 1 of 1
Home Page for ATS edit / delete
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
« earlier | later » Page 1 of 1
| - type-checking | |
| 1 | + compiler |
| 1 | + functional |
| 1 | + language-design |
| 1 | + research |
tasty by Adam Sampson.