Implementation and Application of Functional Languages Plus de livres par Ralf Hinze

Mathematics of Program Construction

2015