roland backhouse
Datatype-Generic Programming
TaschenbuchPrint on DemandA leitmotif in the evolution of programming paradigms has been the level and extent of parametris...
Mathematics of Program Construction
TaschenbuchPrint on DemandThis volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematic...
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
TaschenbuchPrint on DemandInhaltsangabeOrdered Sets and Complete Lattices.- Algebras and Coalgebras.- Galois Connections an...
Generic Programming
TaschenbuchPrint on DemandGeneric programming attempts to make programming more efficient by making it more general. This b...
- 1