Implementation and Application of Functional Languages More Books by Ralf Hinze

Mathematics of Program Construction

2015