Projects
AGATE
: All Good Acronyms Taken, Evidently (Aycock).
Charity
: a categorical programming language (Cockett).
LQPL
: a functional quantum programming language (Cockett / Giles).
SPARK
, the Scanning, Parsing, And Rewriting Kit (Aycock).
[
Home
|
Events
|
People
|
Publications
|
Projects
]