« earlier | later » Page 1 of 1
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 |
1 | type-checking |
tasty by Adam Sampson.