Mathematics of Program Construction Mathematics of Program Construction
2015
Implementation and Application of Functional Languages Implementation and Application of Functional Languages
2013