Jeremy Gibbons – författare

Visar alla böcker från författaren Jeremy Gibbons. Handla med fri frakt och snabb leverans.

30 produkter

Kategorier

30 produkter

Fun of Programming
AvJeremy Gibbons,Oege De Moor
Häftad, Engelska, 2003
1 301 kr
Skickas inom 10-15 vardagar
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 current hot topics in functional programming, with applications ranging from financial contracts to circuit design. There are also chapters on new idioms for structuring programs, such as monads and arrows. All new concepts are illustrated with many examples, and exercises appear throughout to further enliven the material. Several of the chapters describe a substantial piece of software, and most of these programs are collected on a website for free downloading.This book was edited in honour of Richard S.Bird, Professor of Computer Science at the University of Oxford, on his 60th birthday.
Generic Programming
IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
AvJohan Jeuring,Jeremy Gibbons
E-bok
PDF, Engelska, 2013
1 470 kr
Läs direkt efter köp
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 generic program are often quite rich in structure; for example, they may be other programs, types or type constructors, class hierarchies, or even programming paradigms.
Generic programming techniques have always been of interest, both to practitioners and to theoreticians, but only recently have generic programming techniques become a specific focus of research in the functional and object-oriented programming language communities.
Generic Programming comprises the edited proceedings of the Working Conference on Generic Programming, which was sponsored by the International Federation for Information Processing (IFIP) and held in Dagstuhl, Germany in July 2002. With contributions from leading researchers around the world, this volume captures the state of the art in this important emerging area.
Algorithm Design with Haskell
AvRichard Bird,Jeremy Gibbons
Inbunden, Engelska, 2020
808 kr
Skickas inom 11-20 vardagar
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 be obtained with imperative languages. Carefully selected examples, both new and standard, reveal the commonalities and highlight the differences between algorithms. The algorithm developments use equational reasoning where applicable, clarifying the applicability conditions and correctness arguments. Every chapter concludes with exercises (nearly 300 in total), each with complete answers, allowing the reader to consolidate their understanding and apply the techniques to a range of problems. The book serves students (both undergraduate and postgraduate), researchers, teachers, and professionals who want to know more about what goes into a good algorithm and how such algorithms can be expressed in purely functional terms.
Algorithm Design with Haskell
AvJeremy Gibbons,Richard Bird
E-bok
PDF, Engelska, 2020
953 kr
Läs direkt efter köp
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 be obtained with imperative languages. Carefully selected examples, both new and standard, reveal the commonalities and highlight the differences between algorithms. The algorithm developments use equational reasoning where applicable, clarifying the applicability conditions and correctness arguments. Every chapter concludes with exercises (nearly 300 in total), each with complete answers, allowing the reader to consolidate their understanding and apply the techniques to a range of problems. The book serves students (both undergraduate and postgraduate), researchers, teachers, and professionals who want to know more about what goes into a good algorithm and how such algorithms can be expressed in purely functional terms.
Del 115 - IFIP Advances in Information and Communication Technology
Generic Programming
IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
AvJeremy Gibbons,Johan Jeuringm. fl.
Inbunden, Engelska, 2003
1 147 kr
Skickas inom 10-15 vardagar
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 generic program are often quite rich in structure; for example, they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, but only recently have generic programming techniques become a specific focus of research in the functional and object-oriented programming language communities. Generic Programming comprises the edited proceedings of the Working Conference on Generic Programming, which was sponsored by the International Federation for Information Processing (IFIP) and held in Dagstuhl, Germany in July 2002. With contributions from leading researchers around the world, this volume captures the state of the art in this important emerging area.
Fun of Programming
AvJeremy Gibbons,Oege De Moor
Inbunden, Engelska, 2003
3 961 kr
Skickas inom 10-15 vardagar
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 current hot topics in functional programming, with applications ranging from financial contracts to circuit design. There are also chapters on new idioms for structuring programs, such as monads and arrows. All new concepts are illustrated with many examples, and exercises appear throughout to further enliven the material. Several of the chapters describe a substantial piece of software, and most of these programs are collected on a website for free downloading.This book was edited in honour of Richard S.Bird, Professor of Computer Science at the University of Oxford, on his 60th birthday.
Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany
AvJeremy Gibbons,Johan Jeuring
Engelska, 2013
665 kr
Skickas inom 5-8 vardagar
Del 115 - IFIP Advances in Information and Communication Technology
Generic Programming
IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
AvJeremy Gibbons,Johan Jeuring
Häftad, Engelska, 2013
1 147 kr
Skickas inom 10-15 vardagar
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 generic program are often quite rich in structure; for example, they may be other programs, types or type constructors, class hierarchies, or even programming paradigms. Generic programming techniques have always been of interest, both to practitioners and to theoreticians, but only recently have generic programming techniques become a specific focus of research in the functional and object-oriented programming language communities. Generic Programming comprises the edited proceedings of the Working Conference on Generic Programming, which was sponsored by the International Federation for Information Processing (IFIP) and held in Dagstuhl, Germany in July 2002. With contributions from leading researchers around the world, this volume captures the state of the art in this important emerging area.
Del 15652 - Lecture Notes in Computer Science
Trends in Functional Programming
26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers
AvJeremy Gibbons
Häftad, Engelska, 2025
1 349 kr
Skickas inom 5-8 vardagar
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 submissions. They were categorized under the topical sections as follows: Invited papers; Language Design; Compilation; Semantics; Types; Program Synthesis; Teaching.
Trends in Functional Programming
26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers
AvJeremy Gibbons
E-bok
Engelska, 2025
1 780 kr
Läs direkt efter köp
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 submissions. They were categorized under the topical sections as follows: Invited papers; Language Design; Compilation; Semantics; Types; Program Synthesis; Teaching.
Del 9715 - Lecture Notes in Computer Science
Bidirectional Transformations
International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
AvJeremy Gibbons,Perdita Stevens
Häftad, Engelska, 2018
577 kr
Skickas inom 10-15 vardagar
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.This volume represents the lecture notes from the Summer School on Bidirectional Transformations, held in Oxford, UK, in July 2016. The school was one of the final activities on the project "A Theory of Least Change for Bidirectional Transformations", running at the University of Oxford and the University of Edinburgh from 2013 to 2017 and funded by the UK Engineering and Physical Sciences Research Council. The five chapters included in this volume are a record of most of the material presented at the summer school. After a comprehensive introduction to bidirectional transformations, they deal with triple graph grammars, modular edit lenses, putback-based bidirectional programming, and engineering of bidirectional transformations.
Bidirectional Transformations
International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
AvPerdita Stevens,Jeremy Gibbons
E-bok
Engelska, 2018
732 kr
Läs direkt efter köp
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.
This volume represents the lecture notes from the Summer School on Bidirectional Transformations, held in Oxford, UK, in July 2016. The school was one of the final activities on the project "A Theory of Least Change for Bidirectional Transformations", running at the University of Oxford and the University of Edinburgh from 2013 to 2017 and funded by the UK Engineering and Physical Sciences Research Council. The five chapters included in this volume are a record of most of the material presented at the summer school. After a comprehensive introduction to bidirectional transformations, they deal with triple graph grammars, modular edit lenses, putback-based bidirectional programming, and engineering of bidirectional transformations.
Generic Programming
Advanced Lectures
AvRoland Backhouse,Jeremy Gibbons
Häftad, Engelska, 2003
520 kr
Skickas inom 10-15 vardagar
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 first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002:- Generic Haskell: Practice and Theory- Generic Haskell: Applications- Generic Properties of Datatypes- Basic Category Theory for Models of Syntax
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
AvRoland Backhouse,Roy Crolem. fl.
Häftad, Engelska, 2002
577 kr
Skickas inom 10-15 vardagar
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 allegory theory.This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.
Generic Programming
Advanced Lectures
AvJeremy Gibbons,Roland Backhouse
E-bok
PDF, Engelska, 2003
657 kr
Läs direkt efter köp
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 first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002:
- Generic Haskell: Practice and Theory
- Generic Haskell: Applications
- Generic Properties of Datatypes
- Basic Category Theory for Models of Syntax
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
AvJeremy Gibbons,Roy Crolem. fl.
E-bok
PDF, Engelska, 2003
734 kr
Läs direkt efter köp
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 allegory theory.This textbook-like tutorial presents, besides an introduction, eight coherently written chapters by leading authorities on ordered sets and complete lattices, algebras and coalgebras, Galois connections and fixed point calculus, calculating functional programs, algebra of program termination, exercises in coalgebraic specification, algebraic methods for optimization problems, and temporal algebra.
Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
AvJim Davies,Jeremy Gibbons
Häftad, Engelska, 2007
1 147 kr
Skickas inom 10-15 vardagar
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, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.
Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
AvJeremy Gibbons,Jim Davies
E-bok
PDF, Engelska, 2007
1 470 kr
Läs direkt efter köp
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
AvRoland Backhouse,Jeremy Gibbonsm. fl.
Häftad, Engelska, 2007
577 kr
Skickas inom 10-15 vardagar
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 numbers, through structured values, types and classes, to kinds (the type of types and/or classes).Datatype-generic programming is about parametrising programsby the structure of the data that they manipulate. Toappreciatethe importanceofdatatypegenericity,oneneedlooknofurther than the internet. The internet is a massive repository of structured data, but the structure is rarely exploited. For example, compression of data can be much more e?ective if its structure is known, but most compression algorithms regard the input data as simply a string of bits, and take no account of its internal organisation. Datatype-genericprogrammingisaboutexploitingthestructureofdatawhen it is relevant and ignoring it when it is not. Programming languages most c- monly used at the present time do not provide e?ective mechanisms for do- menting and implementing datatype genericity. This volume is a contribution towards improving the state of the art. The emergence of datatype genericity can be traced back to the late 1980s.
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
AvJohan Jeuring,Ralf Hinzem. fl.
E-bok
PDF, Engelska, 2007
739 kr
Läs direkt efter köp
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 numbers, through structured values, types and classes, to kinds (the type of types and/or classes).Datatype-generic programming is about parametrising programsby the structure of the data that they manipulate. Toappreciatethe importanceofdatatypegenericity,oneneedlooknofurther than the internet. The internet is a massive repository of structured data, but the structure is rarely exploited. For example, compression of data can be much more e?ective if its structure is known, but most compression algorithms regard the input data as simply a string of bits, and take no account of its internal organisation. Datatype-genericprogrammingisaboutexploitingthestructureofdatawhen it is relevant and ignoring it when it is not. Programming languages most c- monly used at the present time do not provide e?ective mechanisms for do- menting and implementing datatype genericity. This volume is a contribution towards improving the state of the art. The emergence of datatype genericity can be traced back to the late 1980s.
Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
AvJeremy Gibbons,Jose Nuno Oliveira
Häftad, Engelska, 2009
577 kr
Skickas inom 10-15 vardagar
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, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers,tea- ers,andindustrialpartnersto discusstheir experience,presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems—a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e?ectively with simple, mathematical abstractions, and with practical notions of inference and proof.
Teaching Formal Methods
Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
AvJose Nuno Oliveira,Jeremy Gibbons
E-bok
PDF, Engelska, 2009
732 kr
Läs direkt efter köp
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, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers,tea- ers,andindustrialpartnersto discusstheir experience,presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems—a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e?ectively with simple, mathematical abstractions, and with practical notions of inference and proof.
Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
AvJeremy Gibbons,Pablo Nogueira
Häftad, Engelska, 2012
560 kr
Skickas inom 10-15 vardagar
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. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.
Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
AvPablo Nogueira,Jeremy Gibbons
E-bok
PDF, Engelska, 2012
718 kr
Läs direkt efter köp
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. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.
Generic and Indexed Programming
AvJeremy Gibbons
Häftad, Engelska, 2012
531 kr
Skickas inom 10-15 vardagar
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 lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of two arguments agree, that an encoded value matches some type, that values transmitted along a channel conform to the stated protocol, and so on. The two forces of genericity and indexing balance each other nicely, simultaneously promoting and controlling generality. The 5 lectures included in this book stem from the Spring School on Generic and Indexed Programming, held in Oxford, UK, in March 2010 as a closing activity of the generic and indexed programming project at Oxford which took place in the years 2006-2010.
Generic and Indexed Programming
AvJeremy Gibbons
E-bok
PDF, Engelska, 2012
657 kr
Läs direkt efter köp
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 lightweight form of dependently typed programming, constraining flexibility by allowing one to state and check relationships between parameters: that the shapes of two arguments agree, that an encoded value matches some type, that values transmitted along a channel conform to the stated protocol, and so on. The two forces of genericity and indexing balance each other nicely, simultaneously promoting and controlling generality. The 5 lectures included in this book stem from the Spring School on Generic and Indexed Programming, held in Oxford, UK, in March 2010 as a closing activity of the generic and indexed programming project at Oxford which took place in the years 2006-2010.
Foundations of Health Information Engineering and Systems
Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
AvJeremy Gibbons,Wendy MacCaull
Häftad, Engelska, 2014
577 kr
Skickas inom 10-15 vardagar
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 volume were carefully reviewed and selected from 22 submissions. The papers are organized in following subjects: panel position statements, pathways, generation and certification, interoperability, patient safety, device safety, formal methods and HIV/AIDS and privacy.
Foundations of Health Information Engineering and Systems
Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers
AvWendy MacCaull,Jeremy Gibbons
E-bok
PDF, Engelska, 2014
718 kr
Läs direkt efter köp
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 volume were carefully reviewed and selected from 22 submissions. The papers are organized in following subjects: panel position statements, pathways, generation and certification, interoperability, patient safety, device safety, formal methods and HIV/AIDS and privacy.
Del 14659 - Lecture Notes in Computer Science
Functional and Logic Programming
17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
AvJeremy Gibbons,Dale Miller
Häftad, Engelska, 2024
748 kr
Skickas inom 10-15 vardagar
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 design, semantics, theory, applications, implementations, and teaching ofdeclarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.
Functional and Logic Programming
17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
AvDale Miller,Jeremy Gibbons
E-bok
Engelska, 2024
903 kr
Läs direkt efter köp
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 design, semantics, theory, applications, implementations, and teaching ofdeclarative programming. FLOPS speci cally aims to promote cross-fertilization between theory and practice and among di erent styles of declarative programming.

Jeremy Gibbons – författare

Fun of Programming

Generic Programming

Algorithm Design with Haskell

Algorithm Design with Haskell

Generic Programming

Fun of Programming

Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany

Generic Programming

Trends in Functional Programming

Trends in Functional Programming

Bidirectional Transformations

Bidirectional Transformations

Generic Programming

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Generic Programming

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Integrated Formal Methods

Integrated Formal Methods

Datatype-Generic Programming

Datatype-Generic Programming

Teaching Formal Methods

Teaching Formal Methods

Mathematics of Program Construction

Mathematics of Program Construction

Generic and Indexed Programming

Generic and Indexed Programming

Foundations of Health Information Engineering and Systems

Foundations of Health Information Engineering and Systems

Functional and Logic Programming

Functional and Logic Programming