Implementation and Application of Functional Languages Mehr Bücher von Ralf Hinze

Mathematics of Program Construction

2015