List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Profunctor optics, a categorical update Compositionality | 2024-05-10 | Paper |
| Algorithm design with the selection monad Lecture Notes in Computer Science | 2023-08-03 | Paper |
| Breadth-first traversal via staging Lecture Notes in Computer Science | 2023-06-30 | Paper |
| How to design co-programs Journal of Functional Programming | 2021-09-24 | Paper |
| Tracing monadic computations and representing effects | 2021-03-17 | Paper |
| Tracing monadic computations and representing effects (available as arXiv preprint) | 2021-03-17 | Paper |
| Quantitative Information Flow with Monads in Haskell Foundations of Probabilistic Programming | 2021-02-16 | Paper |
| Algorithm design with Haskell | 2020-08-10 | Paper |
| Coding with asymmetric numeral systems | 2020-05-05 | Paper |
| The under-appreciated unfold Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2019-09-26 | Paper |
| Introduction to bidirectional transformations | 2019-02-15 | Paper |
| Programming with ornaments Journal of Functional Programming | 2017-10-23 | Paper |
| The under-appreciated unfold Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
| Modules over monads and their algebras | 2017-07-11 | Paper |
| APLicative Programming with Naperian Functors Programming Languages and Systems | 2017-05-19 | Paper |
| Kernels, in a nutshell Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
| Folding domain-specific languages: deep and shallow embeddings (functional pearl) Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Conjugate hylomorphisms -- or: the mother of all structured recursion schemes Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Comprehending Ringads A List of Successes That Can Change the World | 2016-08-17 | Paper |
| Reflections on monadic lenses A List of Successes That Can Change the World | 2016-08-17 | Paper |
| The coinductive resumption monad | 2016-05-13 | Paper |
| Monads for behaviour | 2016-04-12 | Paper |
| Unifying theories of programming with monads Unifying Theories of Programming | 2015-12-11 | Paper |
| Notions of bidirectional computation and entangled state monads Lecture Notes in Computer Science | 2015-08-27 | Paper |
| Unifying structured recursion schemes Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| A relative timed semantics for BPMN Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
| Just do it Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Incremental updates for efficient bidirectional transformations Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| When is a function a fold or an unfold? Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
| Property specifications for workflow modelling Science of Computer Programming | 2011-07-18 | Paper |
| Formalisations and applications of BPMN Science of Computer Programming | 2011-06-07 | Paper |
| Arithmetic coding with folds and unfolds Advanced Functional Programming | 2011-04-01 | Paper |
| Scala for generic programmers Journal of Functional Programming | 2011-01-26 | Paper |
| Unifying theories of locations Unifying Theories of Programming | 2010-08-31 | Paper |
| Gradual refinement. Blending pattern matching with data abstraction Lecture Notes in Computer Science | 2010-07-26 | Paper |
| The essence of the <scp>Iterator</scp> pattern Journal of Functional Programming | 2009-10-28 | Paper |
| Fission for Program Comprehension Lecture Notes in Computer Science | 2009-04-02 | Paper |
| Unifying Theories of Objects Lecture Notes in Computer Science | 2009-03-06 | Paper |
| Property Specifications for Workflow Modelling Lecture Notes in Computer Science | 2009-02-24 | Paper |
| Unfolding Abstract Datatypes Lecture Notes in Computer Science | 2008-08-28 | Paper |
| Metamorphisms: streaming representation-changers Science of Computer Programming | 2007-03-12 | Paper |
| Unbounded Spigot Algorithms for the Digits of Pi The American Mathematical Monthly | 2006-07-11 | Paper |
| Proof methods for corecursive programs | 2006-06-19 | Paper |
| FUNCTIONAL PEARL: Enumerating the rationals Journal of Functional Programming | 2006-06-09 | Paper |
| Mathematics of Program Construction Lecture Notes in Computer Science | 2005-08-26 | Paper |
| Disciplined, efficient, generalised folds for nested datatypes Formal Aspects of Computing | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2087343 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087346 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087400 (Why is no real title available?) | 2004-08-11 | Paper |
| On the semantics of nested datatypes Information Processing Letters | 2002-07-25 | Paper |
| The generic approximation lemma Information Processing Letters | 2002-07-14 | Paper |
| scientific article; zbMATH DE number 1696901 (Why is no real title available?) | 2002-01-28 | Paper |
| A pointless derivation of radix sort Journal of Functional Programming | 2000-12-05 | Paper |
| Bridging the algorithm gap: A linear-time functional program for paragraph formatting Science of Computer Programming | 2000-11-28 | Paper |
| Generic downwards accumulations Science of Computer Programming | 2000-06-04 | Paper |
| scientific article; zbMATH DE number 1263589 (Why is no real title available?) | 1999-11-08 | Paper |
| Computing downwards accumulations on trees quickly Theoretical Computer Science | 1997-10-19 | Paper |
| Functional Pearls Journal of Functional Programming | 1997-08-07 | Paper |
| Functional Pearls Journal of Functional Programming | 1997-04-29 | Paper |
| Efficient parallel algorithms for tree accumulations Science of Computer Programming | 1996-02-26 | Paper |
| scientific article; zbMATH DE number 512952 (Why is no real title available?) | 1994-04-07 | Paper |
| Formal derivation of a pattern matching algorithm Science of Computer Programming | 1989-01-01 | Paper |
Research outcomes over time
This page was built for person: Jeremy Gibbons
