Jeremy Gibbons is Professor of Computing at the University of Oxford, where he teaches on the part-time professional Master”s programme in software engineering. He is joint Editor-in-Chief of the Journal of Functional Programming, past Chair of IFIP Working Group 2.1 on Algorithmic Languages and Calculi, and past Vice-Chair of ACM SIGPLAN.
12 Ebooks tarafından Jeremy Gibbons
Jeremy Gibbons & Johan Jeuring: Generic Programming
Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them …
PDF
İngilizce
DRM
€115.17
Jeremy Gibbons & Perdita Stevens: Bidirectional Transformations
Bidirectional transformations (BX) are means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency. BX have a …
EPUB
İngilizce
DRM
€57.60
Roland Backhouse & Jeremy Gibbons: Generic Programming
Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the stru …
PDF
İngilizce
DRM
€51.57
Roland Backhouse & Roy Crole: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract …
PDF
İngilizce
DRM
€57.76
Roland Backhouse & Jeremy Gibbons: Datatype-Generic Programming
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated – the so-called genericity of the paradigm. The sorts of parameters that can …
PDF
İngilizce
DRM
€57.61
Jeremy Gibbons & Jose Nuno Oliveira: Teaching Formal Methods
This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) associat …
PDF
İngilizce
DRM
€57.96
Jeremy Gibbons & Pablo Nogueira: Mathematics of Program Construction
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers p …
PDF
İngilizce
DRM
€57.96
Jeremy Gibbons: Generic and Indexed Programming
Generic programming is about making programs more widely applicable via exotic kinds of parametrization—not just along the dimensions of values or of types, but also of things such as the shape of …
PDF
İngilizce
DRM
€51.48
Jeremy Gibbons & Wendy MacCaull: Foundations of Health Information Engineering and Systems
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013, held in Macau, …
PDF
İngilizce
DRM
€57.84
Jeremy Gibbons & Dale Miller: Functional and Logic Programming
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.The 15 papers presented in this volume …
EPUB
İngilizce
DRM
€70.17
