Jeremy Gibbons
Orcid: 0000-0002-8426-9917Affiliations:
- University of Oxford, UK
According to our database1,
Jeremy Gibbons
authored at least 121 papers
between 1988 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.ox.ac.uk
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
2024
Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024
2023
Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023
2022
Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181).
NII Shonan Meet. Rep., 2022
Art Sci. Eng. Program., 2022
Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022
Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022
2021
Proceedings of the Advancing Research in Information and Communication Technology, 2021
2019
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019
2018
What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl).
Proc. ACM Program. Lang., 2018
2017
J. Object Technol., 2017
Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, 2017
Proceedings of the Programming Languages and Systems, 2017
2016
Proceedings of the 1st International Workshop on Type-Driven Development, 2016
Proceedings of the 9th International Symposium on Haskell, 2016
Proceedings of the A List of Successes That Can Change the World, 2016
Proceedings of the A List of Successes That Can Change the World, 2016
Proceedings of the Bidirectional Transformations, 2016
2015
Proceedings of the Workshop on Continuations, 2015
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the Workshop on Domain-Specific Modeling, 2015
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015
2014
Sci. Comput. Program., 2014
Sci. Comput. Program., 2014
The CancerGrid experience: Metadata-based model-driven engineering for clinical trials.
Sci. Comput. Program., 2014
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014
2013
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013
Proceedings of the Central European Functional Programming School - 5th Summer School, 2013
2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012
Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012
Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012
2011
Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011
2010
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010
Proceedings of the Distributed Computing and Internet Technology, 2010
2009
Proceedings of the ICSE Workshop on Software Engineering in Health Care, 2009
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009
2008
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008
Proceedings of the Eighth International Conference on Quality Software, 2008
Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008
Proceedings of the Theory and Practice of Model Transformations, 2008
Proceedings of the Formal Methods and Software Engineering, 2008
Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, 2008
Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, 2008
Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, 2008
Proceedings of the Fourth International Conference on e-Science, 2008
Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008
2007
Proceedings of the Software Composition - 6th International Symposium, 2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, 2007
2006
Proceedings of the Datatype-Generic Programming - International Spring School, 2006
Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006
2005
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005
2004
Formal Aspects Comput., 2004
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004
2003
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects.
Proceedings of the 25th International Conference on Software Engineering, 2003
2002
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002
Proceedings of the Advanced Functional Programming, 2002
2001
Proceedings of the Coalgebraic Methods in Computer Science, 2001
2000
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
Proceedings of the Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000
Proceedings of the Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000
1999
Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting.
Sci. Comput. Program., 1999
1998
Proceedings of the Mathematics of Program Construction, 1998
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998
1996
1995
Proceedings of the Mathematics of Program Construction, 1995
1994
1992
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992
1989
1988