Jeremy Gibbons

Proceedings of the Programming Languages and Systems, 2017

2016

Kernels, in a nutshell.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

APLicative programming with Naperian functors (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

Free delivery (functional pearl).

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Haskell, 2016

Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday.

[BibT_eX]

[DOI]

Proceedings of the A List of Successes That Can Change the World, 2016

Reflections on Monadic Lenses.

[BibT_eX]

[DOI]

Proceedings of the A List of Successes That Can Change the World, 2016

Introduction to Bidirectional Transformations.

[BibT_eX]

[DOI]

Proceedings of the Bidirectional Transformations, 2016

2015

From Push/Enter to Eval/Apply by Program Transformation.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Continuations, 2015

Towards a Principle of Least Surprise for Bidirectional Transformations.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes.

[BibT_eX]

[DOI]

Ralf Hinze

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Domain specific modelling for clinical research.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Domain-Specific Modeling, 2015

Notions of Bidirectional Computation and Entangled State Monads.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Modules Over Monads and Their Algebras.

[BibT_eX]

[DOI]

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

SIGPLAN vice-chair's report.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2014

Practices of PLDI.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2014

Selected papers from Mathematics of Program Construction 2012.

[BibT_eX]

[DOI]

Pablo Nogueira

Sci. Comput. Program., 2014

Model-driven engineering of information systems: 10 years and 1000 versions.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

The CancerGrid experience: Metadata-based model-driven engineering for clinical trials.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

The Coinductive Resumption Monad.

[BibT_eX]

[DOI]

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Folding domain-specific languages: deep and shallow embeddings (functional Pearl).

[BibT_eX]

[DOI]

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Entangled State Monads.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

Towards a Repository of Bx Examples.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

ACM SIGPLAN vice-chair's report.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2013

Refactoring pattern matching.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Monads for Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Relational algebraic ornaments.

[BibT_eX]

[DOI]

Hsiang-Shang Ko

Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, 2013

Unifying structured recursion schemes.

[BibT_eX]

[DOI]

Ralf Hinze

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Understanding idiomatic traversals backwards and forwards.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013

Functional Programming for Domain-Specific Languages.

[BibT_eX]

[DOI]

Proceedings of the Central European Functional Programming School - 5th Summer School, 2013

2012

Relating Algebraic and Coalgebraic Descriptions of Lenses.

[BibT_eX]

[DOI]

Michael Johnson

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Tracing monadic computations and representing effects

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Unifying Theories of Programming with Monads.

[BibT_eX]

[DOI]

Proceedings of the Unifying Theories of Programming, 4th International Symposium, 2012

Compositionality and Refinement in Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Machine learning and software engineering in health informatics.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012

2011

Property specifications for workflow modelling.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Formalisations and applications of BPMN.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Maximum Segment Sum, Monadically (distilled tutorial)

[BibT_eX]

[DOI]

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

Incremental updates for efficient bidirectional transformations.

[BibT_eX]

[DOI]

Meng Wang

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Modularising inductive families.

[BibT_eX]

[DOI]

Hsiang-Shang Ko

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

Just do it: simple monadic equational reasoning.

[BibT_eX]

[DOI]

Ralf Hinze

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Form Follows Function - Model-Driven Engineering for Clinical Trials.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

2010

Scala for generic programmers.

[BibT_eX]

[DOI]

J. Funct. Program., 2010

Editorial.

[BibT_eX]

[DOI]

J. Funct. Program., 2010

Gradual Refinement.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Semantic Frameworks - Meanings in the Architecture.

[BibT_eX]

[DOI]

Jim Davies

Proceedings of the Distributed Computing and Internet Technology, 2010

2009

Formal methods for future interoperability.

[BibT_eX]

[DOI]

Jim Davies

ACM SIGCSE Bull., 2009

The essence of the Iterator pattern.

[BibT_eX]

[DOI]

J. Funct. Program., 2009

Metadata-driven software for clinical trials.

[BibT_eX]

[DOI]

Proceedings of the ICSE Workshop on Software Engineering in Health Care, 2009

Parametric datatype-genericity.

[BibT_eX]

[DOI]

Ross Paterson

Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, 2009

Semantics-Driven Development for Electronic Government Applications.

[BibT_eX]

[DOI]

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

A Relative Timed Semantics for BPMN.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Unifying Theories of Locations.

[BibT_eX]

[DOI]

Michael Anthony Smith

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

Verifying Business Process Compatibility (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quality Software, 2008

The visitor pattern as a reusable, generic, type-safe component.

[BibT_eX]

[DOI]

Meng Wang

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Unfolding Abstract Datatypes.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

On Specifying and Visualising Long-Running Empirical Studies.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2008

A Process Semantics for BPMN.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2008

Semantic technologies in electronic government.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, 2008

Metadata standards for semantic interoperability in electronic government.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, 2008

Interoperability frameworks for electronic governance.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance, 2008

Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on e-Science, 2008

WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 2008

2007

Metamorphisms: Streaming representation-changers.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

A Process-Algebraic Approach to Workflow Specification and Refinement.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 6th International Symposium, 2007

Model-driven architecture for cancer research.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Unifying Theories of Objects.

[BibT_eX]

[DOI]

Michael Anthony Smith

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Semantic frameworks for e-government.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, 2007

2006

Unbounded Spigot Algorithms for the Digits of Pi.

[BibT_eX]

[DOI]

Am. Math. Mon., 2006

Functional Pearl: Enumerating the rationals.

[BibT_eX]

[DOI]

David R. Lester

J. Funct. Program., 2006

Datatype-Generic Programming.

[BibT_eX]

[DOI]

Proceedings of the Datatype-Generic Programming - International Spring School, 2006

Fast and loose reasoning is morally correct.

[BibT_eX]

[DOI]

Nils Anders Danielsson

John Hughes

Patrik Jansson

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Fission for Program Comprehension.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Design patterns as higher-order datatype-generic programs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006

2005

Proof Methods for Corecursive Programs.

[BibT_eX]

[DOI]

Graham Hutton

Fundam. Informaticae, 2005

TypeCase: a design pattern for type-indexed functions.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2005

2004

Disciplined, efficient, generalised folds for nested datatypes.

[BibT_eX]

[DOI]

Clare E. Martin

Ian Bayley

Formal Aspects Comput., 2004

Streaming Representation-Changers.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2003

On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Towards a Colimit-Based Semantics for Visual Programming.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Arithmetic Coding with Folds and Unfolds.

[BibT_eX]

[DOI]

Proceedings of the Advanced Functional Programming, 2002

2001

On the semantics of nested datatypes.

[BibT_eX]

[DOI]

Clare E. Martin

Inf. Process. Lett., 2001

The generic approximation lemma.

[BibT_eX]

[DOI]

Graham Hutton

Inf. Process. Lett., 2001

When is a function a fold or an unfold?

[BibT_eX]

[DOI]

Graham Hutton

Thorsten Altenkirch

Proceedings of the Coalgebraic Methods in Computer Science, 2001

2000

Generic downwards accumulations.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2000

Invited Talk: Pointwise Relational Programming.

[BibT_eX]

[DOI]

Oege de Moor

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

Calculating Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000

Algebraic Methods for Optimization Problems.

[BibT_eX]

[DOI]

Shin-Cheng Mu

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.

[BibT_eX]

[DOI]

Oege de Moor

Sci. Comput. Program., 1999

A Pointless Derivation of Radix Sort.

[BibT_eX]

[DOI]

J. Funct. Program., 1999

1998

Structured Programing in Java.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1998

Polytypic Downwards Accumulations.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 1998

The Under-Appreciated Unfold.

[BibT_eX]

[DOI]

Geraint Jones

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1996

Computing Downwards Accumulations on Trees Quickly.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

The Third Homomorphism Theorem.

[BibT_eX]

[DOI]

J. Funct. Program., 1996

Deriving Tidy Drawings of Trees.

[BibT_eX]

[DOI]

J. Funct. Program., 1996

1995

An Initial-Algebra Approach to Directed Acyclic Graphs.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 1995

1994

Efficient Parallel Algorithms for Tree Accumulations.

[BibT_eX]

[DOI]

Wentong Cai

David B. Skillicorn

Sci. Comput. Program., 1994

1992

Upwards and Downwards Accumulations on Trees.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1989

Formal Derivation of a Pattern Matching Algorithm.

[BibT_eX]

[DOI]

Geraint Jones

Sci. Comput. Program., 1989

1988

A new view of binary trees.

[BibT_eX]

[DOI]