Programming Languages Lab

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 ]