It's a research language: https://plg.uwaterloo.ca/~cforall/people https://plg.uwaterloo.ca/~cforall/people You can check the various Master Theses at the bot

It's a research language: https://plg.uwaterloo.ca/~cforall/people https://plg.uwaterloo.ca/~cforall/people You can check the various Master Theses at the bottom of the page.