Jeremy Gibbons

Identifiers

Open LibraryOL3296105A

Top Subjects

Computer science (4)
Software engineering (3)
Data structures (Computer science) (2)
Programming Languages, Compilers, Interpreters (2)
Logics and Meanings of Programs (2)
Mathematical Logic and Formal Languages (2)
Logic design (2)

Books by Jeremy Gibbons

Total count: 16

Algebraic and Coalgebraic Methods in the Mathematics of Program ConstructionInternational Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures

Springer London, Limited2003-01-01
Generic ProgrammingIFIP TC2

Springer US2003-01-01
The fun of programming

Palgrave Macmillan2005-06-30
Integrated Formal Methods6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings

Springer London, Limited2007-01-01
Proceedings of the third ACM Haskell symposium on Haskell

ACM2010-01-01
Mathematics of Program Construction11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Springer Berlin Heidelberg2012-01-01
Generic and Indexed ProgrammingInternational Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

Imprint: Springer2012-01-01
Foundations of Health Information Engineering and SystemsThird International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers

Springer London, Limited2014-01-01
Erlang'1716th ACM SIGPLAN International Workshop on Erlang

Association for Computing Machinery2017-01-01
Farm'175th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design

Association for Computing Machinery2017-01-01
TyDe'172st ACM SIGPLAN International Workshop on Type-Driven Development

Association for Computing Machinery2017-01-01
Fhpc'176th ACM SIGPLAN International Workshop on Functional High-Performance Computing

Association for Computing Machinery2017-01-01
Haskell'1710th ACM SIGPLAN International Haskell Symposium

Association for Computing Machinery2017-01-01
Bidirectional TransformationsInternational Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures

Springer2018-03-29
Algorithm Design with Haskell

Cambridge University Press2020-01-01
Functional and Logic Programming17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Springer2024-01-01