Implementation and Application of Functional Languages المزيد من كتب Ralf Hinze

Mathematics of Program Construction

٢٠١٥