Collaborated with:
K.Claessen M.Johansson N.Smallbone
Talks about:
lightweight (1) programm (1) demonstr (1) theori (1) system (1) explor (1) quick (1) tool (1) spec (1)
Person: Maximilian Algehed
DBLP: Algehed:Maximilian
Contributed to:
Wrote 1 papers:
- Haskell-2017-AlgehedCJS #lightweight #named
- QuickSpec: a lightweight theory exploration tool for programmers (system demonstration) (MA, KC, MJ, NS), pp. 38–39.