Jeremy Gibbons
From MaRDI portal
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 |
| 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
