Jeremy Gibbons – författare
Visar alla böcker från författaren Jeremy Gibbons. Handla med fri frakt och snabb leverans.
30 produkter
Fun of Programming
Av Jeremy Gibbons, Oege De Moor
Häftad, 2003
1314 kr
Lägg i varukorg
What will be the next revolution in software technology to follow XML and generics? Whatever it may be, it is likely to come from functional programming, where many of the key ideas of the last decade originated. In this textbook, the leading researchers of the field take you on a tour of the …
Generic Programming
IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
Av Johan Jeuring, Jeremy Gibbons
E-bok, 2013
1502 kr
Lägg i varukorg
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 by suitably instantiating their parameters. In contrast with normal programs, the parameters of a …
Algorithm Design with Haskell
Av Richard Bird, Jeremy Gibbons
Inbunden, 2020
989 kr
Lägg i varukorg
This book is devoted to five main principles of algorithm design: divide and conquer, greedy algorithms, thinning, dynamic programming, and exhaustive search. These principles are presented using Haskell, a purely functional language, leading to simpler explanations and shorter programs than would …
Algorithm Design with Haskell
Av Jeremy Gibbons, Richard Bird
E-bok, 2020
953 kr
Lägg i varukorg
This book is devoted to five main principles of algorithm design: divide and conquer, greedy algorithms, thinning, dynamic programming, and exhaustive search. These principles are presented using Haskell, a purely functional language, leading to simpler explanations and shorter programs than would …
Generic Programming
IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
Av Jeremy Gibbons, Johan Jeuring m. fl.
Inbunden, 2003
1126 kr
Lägg i varukorg
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 by suitably instantiating their parameters. In contrast with normal programs, the parameters of a …
Fun of Programming
Av Jeremy Gibbons, Oege De Moor
Inbunden, 2003
3999 kr
Lägg i varukorg
What will be the next revolution in software technology to follow XML and generics? Whatever it may be, it is likely to come from functional programming, where many of the key ideas of the last decade originated. In this textbook, the leading researchers of the field take you on a tour of the …
Generic Programming
IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
Av Jeremy Gibbons, Johan Jeuring
Häftad, 2013
1122 kr
Lägg i varukorg
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 by suitably instantiating their parameters. In contrast with normal programs, the parameters of a …
Trends in Functional Programming
26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers
Häftad, 2025
1344 kr
Lägg i varukorg
This book constitutes revised selected papers from the 26th International Symposium on Trends in Functional Programming, TFP 2025, held in Oxford, UK, during January 13–16, 2025.The 20 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 35 …
Trends in Functional Programming
26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers
E-bok, 2025
1780 kr
Lägg i varukorg
This book constitutes revised selected papers from the 26th International Symposium on Trends in Functional Programming, TFP 2025, held in Oxford, UK, during January 13–16, 2025.The 20 full papers and 2 invited papers presented in this volume were carefully reviewed and selected from 35 …
Bidirectional Transformations
International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Av Jeremy Gibbons, Perdita Stevens
Häftad, 2018
564 kr
Lägg i varukorg
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 applications in databases, user interface design, model-driven development, and many other …
Bidirectional Transformations
International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
Av Perdita Stevens, Jeremy Gibbons
E-bok, 2018
755 kr
Lägg i varukorg
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 applications in databases, user interface design, model-driven development, and many other domains. …
Generic Programming
Advanced Lectures
Av Roland Backhouse, Jeremy Gibbons
Häftad, 2003
508 kr
Lägg i varukorg
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 structure of the data they manipulate.The book presents the following four revised and extended chapters …
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Av Roland Backhouse, Roy Crole m. fl.
Häftad, 2002
566 kr
Lägg i varukorg
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 algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and …
Generic Programming
Advanced Lectures
Av Jeremy Gibbons, Roland Backhouse
E-bok, 2003
672 kr
Lägg i varukorg
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 structure of the data they manipulate. The book presents the following four revised and extended …
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Av Jeremy Gibbons, Roy Crole m. fl.
E-bok, 2003
734 kr
Lägg i varukorg
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 algebraic tools such as lattice theory, fixpoint calculus, universal algebra, category theory, and …
Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Häftad, 2007
1122 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, …
Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
E-bok, 2007
1470 kr
Lägg i varukorg
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Av Roland Backhouse, Jeremy Gibbons m. fl.
Häftad, 2007
564 kr
Lägg i varukorg
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 be envisaged in a programming language range from simple values, like integers and ?oating-point …
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Av Johan Jeuring, Ralf Hinze m. fl.
E-bok, 2007
739 kr
Lägg i varukorg
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 be envisaged in a programming language range from simple values, like integers and ?oating-point …
Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Av Jeremy Gibbons, Jose Nuno Oliveira
Häftad, 2009
564 kr
Lägg i varukorg
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) association. The conference took place as part of the ?rst Formal Methods Week (FMWeek), held in Ei- hoven, …
Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
Av Jose Nuno Oliveira, Jeremy Gibbons
E-bok, 2009
755 kr
Lägg i varukorg
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) association. The conference took place as part of the ?rst Formal Methods Week (FMWeek), held in Ei- hoven, …
Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Av Jeremy Gibbons, Pablo Nogueira
Häftad, 2012
548 kr
Lägg i varukorg
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 presented together with three invited talks were carefully reviewed and selected from 27 submissions. …
Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Av Pablo Nogueira, Jeremy Gibbons
E-bok, 2012
734 kr
Lägg i varukorg
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 presented together with three invited talks were carefully reviewed and selected from 27 submissions. …
Generic and Indexed Programming
Häftad, 2012
520 kr
Lägg i varukorg
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 data, algebraicstructures, strategies, computational paradigms, and so on. Indexed programming is a …
Generic and Indexed Programming
E-bok, 2012
657 kr
Lägg i varukorg
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 data, algebraicstructures, strategies, computational paradigms, and so on. Indexed programming is a …
Foundations of Health Information Engineering and Systems
Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
Av Jeremy Gibbons, Wendy MacCaull
Häftad, 2014
566 kr
Lägg i varukorg
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, China, in August 2013. The 19 revised full papers presented together with 1 invited talk in this …
Foundations of Health Information Engineering and Systems
Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
Av Wendy MacCaull, Jeremy Gibbons
E-bok, 2014
718 kr
Lägg i varukorg
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, China, in August 2013. The 19 revised full papers presented together with 1 invited talk in this …
Functional and Logic Programming
17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
Av Jeremy Gibbons, Dale Miller
Häftad, 2024
734 kr
Lägg i varukorg
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 were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the …
Functional and Logic Programming
17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
Av Dale Miller, Jeremy Gibbons
E-bok, 2024
923 kr
Lägg i varukorg
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 were carefully reviewed and selected from 28 submissions. The scope includes all aspects of the …
