Programming Systems Lab: Publications by Dieter Brunotte

Saarland University Computer Science

Select author:

2006

Effectful Computation in Moggi's Calculus with Records and Subtyping   (pdf)
Dieter Brunotte
Bachelor's Thesis, Saarland University


Login to edit


Webmaster, Mon May 30 13:48:30 2016