You can add 2 more tags to this project.
compiler
dsl
flow_typing
flowtyping
functional
functional_language
functional_programming
jvm
language
object_oriented
programming_language
programminglanguage
research
software_development
statictyping
typeinference
verification
whiley
Racket
