Jeremy Gibbons

151 papers A* 3A 8B 19C 6Misc 2Journal 49Unranked 46

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Trends in Functional Programming - 26th International Symposium, TFP 2025, Oxford, UK, January 14-16, 2025, Revised Selected Papers TFP Jeremy Gibbons
2025	J	`jnl`	Binomial Tabulation: A Short Story. CoRR Hsiang-Shang Ko, Shin-Cheng Mu, Jeremy Gibbons
2025	J	`jnl`	Turner, Bird, Eratosthenes: An eternal burning thread. J. Funct. Program. Jeremy Gibbons
2024	Misc	`ed.`	Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings FLOPS Jeremy Gibbons, Dale Miller
2024	J	`jnl`	Profunctor Optics, a Categorical Update. Compositionality Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román
2024	—	`conf`	Towards a More Efficient Selection Monad. TFP Johannes Hartmann, Tom Schrijvers, Jeremy Gibbons
2023	—	`conf`	Phases in Software Architecture. FUNARCH Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
2022	—	`conf`	Algorithm Design with the Selection Monad. TFP Johannes Hartmann, Jeremy Gibbons
2022	B	`conf`	Breadth-First Traversal via Staging. MPC Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu
2022	J	`jnl`	Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity. Art Sci. Eng. Program. Jeremy Gibbons
2022	J	`jnl`	Editorial. J. Funct. Program. Jeremy Gibbons, Shriram Krishnamurthi
2022	—	`ed.`	Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022. MSFP@ETAPS Jeremy Gibbons, Max S. New
2022	J	`jnl`	Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181). NII Shonan Meet. Rep. Peter Braam, Jeremy Gibbons, Oleg Kiselyov
2021	—	`ed.`	ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, Virtual Event, Canada, 21 June, 2021 ARRAY@PLDI Tze Meng Low, Jeremy Gibbons
2021	—	`ch.`	Algorithmics. IFIP's Exciting First 60+ Years Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu
2021	J	`jnl`	Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity. CoRR Jeremy Gibbons
2021	J	`jnl`	How to design co-programs. J. Funct. Program. Jeremy Gibbons
2020	J	`jnl`	Profunctor optics, a categorical update. CoRR Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregiàn, Bartosz Milewski, Emily Pillmore, Mario Román
2020	—	`ch.`	Quantitative Information Flow with Monads in Haskell. Foundations of Probabilistic Programming Jeremy Gibbons, Annabelle McIver, Carroll Morgan, Tom Schrijvers
2019	B	`conf`	Coding with Asymmetric Numeral Systems. MPC Jeremy Gibbons
2019	—	`conf`	Comprehending Ringads (keynote). DBPL Jeremy Gibbons
2019	—	`ed.`	Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019 TyDe@ICFP David Darais, Jeremy Gibbons
2019	—	`ed.`	Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY@PLDI 2019, Phoenix, AZ, USA, June 22, 2019. ARRAY@PLDI Jeremy Gibbons
2019	—	`conf`	The School of Squiggol - A History of the Bird-Meertens Formalism. FM Workshops (2) Jeremy Gibbons
2018	—	`ed.`	Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures Bidirectional Transformations Jeremy Gibbons, Perdita Stevens
2018	J	`jnl`	Relational algebra by way of adjunctions. Proc. ACM Program. Lang. Jeremy Gibbons, Fritz Henglein, Ralf Hinze, Nicolas Wu
2018	J	`jnl`	What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl). Proc. ACM Program. Lang. Guillaume Boisseau, Jeremy Gibbons
2017	A	`conf`	APLicative Programming with Naperian Functors. ESOP Jeremy Gibbons
2017	J	`jnl`	Coalgebraic Aspects of Bidirectional Computation. J. Object Technol. Faris Abou-Saleh, James McKinna, Jeremy Gibbons
2017	—	`conf`	On Ontologology. BX@ETAPS Perdita Stevens, Jeremy Gibbons
2017	J	`jnl`	On principles of Least Change and Least Surprise for bidirectional transformations. J. Object Technol. James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2017	J	`jnl`	Profunctor Optics: Modular Data Accessors. CoRR Matthew Pickering, Jeremy Gibbons, Nicolas Wu
2017	J	`jnl`	Profunctor Optics: Modular Data Accessors. Art Sci. Eng. Program. Matthew Pickering, Jeremy Gibbons, Nicolas Wu
2017	J	`jnl`	Programming with ornaments. J. Funct. Program. Hsiang-Shang Ko, Jeremy Gibbons
2016	—	`conf`	APLicative programming with Naperian functors (extended abstract). TyDe@ICFP Jeremy Gibbons
2016	—	`conf`	Comprehending Ringads - For Phil Wadler, on the Occasion of his 60th Birthday. A List of Successes That Can Change the World Jeremy Gibbons
2016	C	`conf`	Free delivery (functional pearl). Haskell Jeremy Gibbons
2016	—	`conf`	Introduction to Bidirectional Transformations. Bidirectional Transformations Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2016	J	`jnl`	Kernels, in a nutshell. J. Log. Algebraic Methods Program. Jeremy Gibbons
2016	—	`ed.`	Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016. Bx@ETAPS Anthony Anjorin, Jeremy Gibbons
2016	—	`conf`	Reflections on Monadic Lenses. A List of Successes That Can Change the World Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2016	J	`jnl`	Reflections on Monadic Lenses. CoRR Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2015	—	`conf`	Coalgebraic Aspects of Bidirectional Computation. Bx@STAF Faris Abou-Saleh, James McKinna, Jeremy Gibbons
2015	A*	`conf`	Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. POPL Ralf Hinze, Nicolas Wu, Jeremy Gibbons
2015	—	`conf`	Domain specific modelling for clinical research. DSM@SPLASH Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch
2015	—	`conf`	From Push/Enter to Eval/Apply by Program Transformation. WoC Maciej Piróg, Jeremy Gibbons
2015	B	`conf`	Modules Over Monads and Their Algebras. CALCO Maciej Piróg, Nicolas Wu, Jeremy Gibbons
2015	B	`conf`	Notions of Bidirectional Computation and Entangled State Monads. MPC Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2015	J	`jnl`	Notions of bidirectional computation and entangled state monads. CoRR Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2015	—	`conf`	Towards a Principle of Least Surprise for Bidirectional Transformations. Bx@STAF James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
2014	—	`conf`	Entangled State Monads. EDBT/ICDT Workshops James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh
2014	A	`conf`	Folding domain-specific languages: deep and shallow embeddings (functional Pearl). ICFP Jeremy Gibbons, Nicolas Wu
2014	—	`ed.`	Foundations of Health Information Engineering and Systems - Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers FHIES Jeremy Gibbons, Wendy MacCaull
2014	J	`jnl`	Model-driven engineering of information systems: 10 years and 1000 versions. Sci. Comput. Program. Jim Davies, Jeremy Gibbons, James Welch, Edward Crichton
2014	J	`jnl`	Practices of PLDI. ACM SIGPLAN Notices Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler
2014	J	`jnl`	SIGPLAN vice-chair's report. ACM SIGPLAN Notices Jeremy Gibbons
2014	J	`jnl`	Selected papers from Mathematics of Program Construction 2012. Sci. Comput. Program. Jeremy Gibbons, Pablo Nogueira
2014	J	`jnl`	The CancerGrid experience: Metadata-based model-driven engineering for clinical trials. Sci. Comput. Program. Jim Davies, Jeremy Gibbons, Steve Harris, Charles Crichton
2014	B	`conf`	The Coinductive Resumption Monad. MFPS Maciej Piróg, Jeremy Gibbons
2014	—	`conf`	Towards a Repository of Bx Examples. EDBT/ICDT Workshops James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons
2013	J	`jnl`	ACM SIGPLAN vice-chair's report. ACM SIGPLAN Notices Jeremy Gibbons
2013	—	`conf`	Functional Programming for Domain-Specific Languages. CEFP Jeremy Gibbons
2013	B	`conf`	Monads for Behaviour. MFPS Maciej Piróg, Jeremy Gibbons
2013	J	`jnl`	Refactoring pattern matching. Sci. Comput. Program. Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
2013	—	`conf`	Relational algebraic ornaments. DTP@ICFP Hsiang-Shang Ko, Jeremy Gibbons
2013	C	`conf`	Understanding idiomatic traversals backwards and forwards. Haskell Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers
2013	A	`conf`	Unifying structured recursion schemes. ICFP Ralf Hinze, Nicolas Wu, Jeremy Gibbons
2012	—	`conf`	Compositionality and Refinement in Model-Driven Engineering. SBMF Jim Davies, Jeremy Gibbons, David Milward, James Welch
2012	—	`ed.`	Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures SSGIP Jeremy Gibbons
2012	—	`conf`	Machine learning and software engineering in health informatics. RAISE@ICSE David A. Clifton, Jeremy Gibbons, Jim Davies, Lionel Tarassenko
2012	B	`ed.`	Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings MPC Jeremy Gibbons, Pablo Nogueira
2012	J	`jnl`	Relating Algebraic and Coalgebraic Descriptions of Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Jeremy Gibbons, Michael Johnson
2012	—	`conf`	Tracing monadic computations and representing effects MSFP Maciej Piróg, Jeremy Gibbons
2012	—	`conf`	Unifying Theories of Programming with Monads. UTP Jeremy Gibbons
2011	—	`conf`	Form Follows Function - Model-Driven Engineering for Clinical Trials. FHIES Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui
2011	J	`jnl`	Formalisations and applications of BPMN. Sci. Comput. Program. Peter Y. H. Wong, Jeremy Gibbons
2011	A	`conf`	Incremental updates for efficient bidirectional transformations. ICFP Meng Wang, Jeremy Gibbons, Nicolas Wu
2011	A	`conf`	Just do it: simple monadic equational reasoning. ICFP Jeremy Gibbons, Ralf Hinze
2011	—	`conf`	Maximum Segment Sum, Monadically (distilled tutorial) DSL Jeremy Gibbons
2011	—	`conf`	Modularising inductive families. WGP@ICFP Hsiang-Shang Ko, Jeremy Gibbons
2011	J	`jnl`	Property specifications for workflow modelling. Sci. Comput. Program. Peter Y. H. Wong, Jeremy Gibbons
2010	J	`jnl`	Editorial. J. Funct. Program. Jeremy Gibbons
2010	B	`conf`	Gradual Refinement. MPC Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
2010	C	`ed.`	Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010 Haskell Jeremy Gibbons
2010	J	`jnl`	Scala for generic programmers. J. Funct. Program. Bruno C. d. S. Oliveira, Jeremy Gibbons
2010	Misc	`conf`	Semantic Frameworks - Meanings in the Architecture. ICDCIT Jim Davies, Jeremy Gibbons
2009	J	`jnl`	Formal methods for future interoperability. ACM SIGCSE Bull. Jim Davies, Jeremy Gibbons
2009	—	`conf`	Metadata-driven software for clinical trials. SEHC@ICSE Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James D. Brenton
2009	—	`conf`	Parametric datatype-genericity. WGP@ICFP Jeremy Gibbons, Ross Paterson
2009	B	`conf`	Property Specifications for Workflow Modelling. IFM Peter Y. H. Wong, Jeremy Gibbons
2009	—	`conf`	Semantics-Driven Development for Electronic Government Applications. HICSS Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui
2009	—	`ed.`	Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings TFM Jeremy Gibbons, José Nuno Oliveira
2009	J	`jnl`	The essence of the Iterator pattern. J. Funct. Program. Jeremy Gibbons, Bruno C. d. S. Oliveira
2008	C	`conf`	A Process Semantics for BPMN. ICFEM Peter Y. H. Wong, Jeremy Gibbons
2008	—	`conf`	A Relative Timed Semantics for BPMN. FOCLASA@ICALP Peter Y. H. Wong, Jeremy Gibbons
2008	—	`conf`	Interoperability frameworks for electronic governance. ICEGOV Alejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan
2008	—	`conf`	Metadata standards for semantic interoperability in electronic government. ICEGOV Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons
2008	—	`conf`	Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. eScience Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos Caldas
2008	—	`conf`	On Specifying and Visualising Long-Running Empirical Studies. ICMT@TOOLS Peter Y. H. Wong, Jeremy Gibbons
2008	—	`conf`	Scala for generic programmers. ICFP-WGP Bruno C. d. S. Oliveira, Jeremy Gibbons
2008	—	`conf`	Semantic technologies in electronic government. ICEGOV Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton
2008	A	`conf`	The visitor pattern as a reusable, generic, type-safe component. OOPSLA Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons
2008	B	`conf`	Unfolding Abstract Datatypes. MPC Jeremy Gibbons
2008	—	`conf`	Unifying Theories of Locations. UTP Michael Anthony Smith, Jeremy Gibbons
2008	—	`conf`	Verifying Business Process Compatibility (Short Paper). QSIC Peter Y. H. Wong, Jeremy Gibbons
2008	B	`conf`	WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. CCGRID Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos Caldas
2007	A	`conf`	A Process-Algebraic Approach to Workflow Specification and Refinement. SC Peter Y. H. Wong, Jeremy Gibbons
2007	—	`ed.`	Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures SSDGP Roland Carl Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring
2007	B	`ed.`	Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings IFM Jim Davies, Jeremy Gibbons
2007	J	`jnl`	Metamorphisms: Streaming representation-changers. Sci. Comput. Program. Jeremy Gibbons
2007	B	`conf`	Model-driven architecture for cancer research. SEFM Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl
2007	—	`conf`	Semantic frameworks for e-government. ICEGOV Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla
2007	B	`conf`	Unifying Theories of Objects. IFM Michael Anthony Smith, Jeremy Gibbons
2006	—	`conf`	Datatype-Generic Programming. SSDGP Jeremy Gibbons
2006	—	`conf`	Design patterns as higher-order datatype-generic programs. ICFP-WGP Jeremy Gibbons
2006	A*	`conf`	Fast and loose reasoning is morally correct. POPL Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
2006	B	`conf`	Fission for Program Comprehension. MPC Jeremy Gibbons
2006	J	`jnl`	Functional Pearl: Enumerating the rationals. J. Funct. Program. Jeremy Gibbons, David R. Lester, Richard S. Bird
2006	—	`conf`	The Essence of the ITERATOR Pattern. MSFP@MPC Jeremy Gibbons, Bruno C. d. S. Oliveira
2006	J	`jnl`	Unbounded Spigot Algorithms for the Digits of Pi. Am. Math. Mon. Jeremy Gibbons
2005	J	`jnl`	Proof Methods for Corecursive Programs. Fundam. Informaticae Jeremy Gibbons, Graham Hutton
2005	C	`conf`	TypeCase: a design pattern for type-indexed functions. Haskell Bruno C. d. S. Oliveira, Jeremy Gibbons
2004	J	`jnl`	Disciplined, efficient, generalised folds for nested datatypes. Formal Aspects Comput. Clare E. Martin, Jeremy Gibbons, Ian Bayley
2004	B	`conf`	Streaming Representation-Changers. MPC Jeremy Gibbons
2003	—	`ed.`	Generic Programming - Advanced Lectures Generic Programming Roland Carl Backhouse, Jeremy Gibbons
2003	—	`ed.`	Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany Generic Programming Jeremy Gibbons, Johan Jeuring
2003	A*	`conf`	On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. ICSE Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever
2002	—	`ed.`	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons
2002	—	`conf`	Arithmetic Coding with Folds and Unfolds. Advanced Functional Programming Richard S. Bird, Jeremy Gibbons
2002	C	`conf`	Towards a Colimit-Based Semantics for Visual Programming. COORDINATION Jeremy Gibbons
2001	J	`jnl`	On the semantics of nested datatypes. Inf. Process. Lett. Clare E. Martin, Jeremy Gibbons
2001	J	`jnl`	The generic approximation lemma. Inf. Process. Lett. Graham Hutton, Jeremy Gibbons
2001	—	`conf`	When is a function a fold or an unfold? CMCS Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch
2000	—	`conf`	Algebraic Methods for Optimization Problems. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu
2000	—	`conf`	Calculating Functional Programs. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Jeremy Gibbons
2000	J	`jnl`	Generic downwards accumulations. Sci. Comput. Program. Jeremy Gibbons
2000	—	`conf`	Invited Talk: Pointwise Relational Programming. AMAST Oege de Moor, Jeremy Gibbons
1999	J	`jnl`	A Pointless Derivation of Radix Sort. J. Funct. Program. Jeremy Gibbons
1999	J	`jnl`	Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting. Sci. Comput. Program. Oege de Moor, Jeremy Gibbons
1998	B	`conf`	Polytypic Downwards Accumulations. MPC Jeremy Gibbons
1998	J	`jnl`	Structured Programing in Java. ACM SIGPLAN Notices Jeremy Gibbons
1998	A	`conf`	The Under-Appreciated Unfold. ICFP Jeremy Gibbons, Geraint Jones
1996	J	`jnl`	Computing Downwards Accumulations on Trees Quickly. Theor. Comput. Sci. Jeremy Gibbons
1996	J	`jnl`	Deriving Tidy Drawings of Trees. J. Funct. Program. Jeremy Gibbons
1996	—	`ed.`	First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, DMTCS 1996, Auckland, New Zealand, December, 9-13, 1996 DMTCS Douglas S. Bridges, Cristian S. Calude, Jeremy Gibbons, Steve Reeves, Ian H. Witten
1996	J	`jnl`	The Third Homomorphism Theorem. J. Funct. Program. Jeremy Gibbons
1995	B	`conf`	An Initial-Algebra Approach to Directed Acyclic Graphs. MPC Jeremy Gibbons
1994	J	`jnl`	Efficient Parallel Algorithms for Tree Accumulations. Sci. Comput. Program. Jeremy Gibbons, Wentong Cai, David B. Skillicorn
1992	B	`conf`	Upwards and Downwards Accumulations on Trees. MPC Jeremy Gibbons
1989	J	`jnl`	Formal Derivation of a Pattern Matching Algorithm. Sci. Comput. Program. Richard S. Bird, Jeremy Gibbons, Geraint Jones
1988	—	`—`	A new view of binary trees. Jeremy Gibbons