| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Maciej Piróg, Jeremy Gibbons |
Tracing monadic computations and representing effects  |
MSFP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
Formalisations and applications of BPMN. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
Property specifications for workflow modelling. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Maximum Segment Sum, Monadically (distilled tutorial) |
DSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, Ralf Hinze |
Just do it: simple monadic equational reasoning. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Wang, Jeremy Gibbons, Nicolas Wu |
Incremental updates for efficient bidirectional transformations. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Editorial. |
J. Funct. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, Jeremy Gibbons |
Scala for generic programmers. |
J. Funct. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Jeremy Gibbons |
Semantic Frameworks - Meanings in the Architecture. |
ICDCIT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu |
Gradual Refinement. |
MPC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons (eds.) |
Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010 |
Haskell |
2010 |
DBLP BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
A Relative Timed Semantics for BPMN. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Jeremy Gibbons |
Formal methods for future interoperability. |
SIGCSE Bulletin |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, Bruno C. d. S. Oliveira |
The essence of the Iterator pattern. |
J. Funct. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, José Nuno Oliveira (eds.) |
Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
Property Specifications for Workflow Modelling. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui |
Semantics-Driven Development for Electronic Government Applications. |
HICSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
A Process Semantics for BPMN. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos H. Caldas |
WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. |
CCGRID |
2008 |
DBLP DOI BibTeX RDF |
service-oriented architecture, Grid computing, web services resource framework, Z specification |
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
On Specifying and Visualising Long-Running Empirical Studies. |
ICMT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos H. Caldas |
Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. |
eScience |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, Jeremy Gibbons |
Scala for generic programmers. |
ICFP-WGP |
2008 |
DBLP DOI BibTeX RDF |
scala, polytypic programming, datatype-generic programming |
| 1 | Bruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons |
The visitor pattern as a reusable, generic, type-safe component. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
algebraic datatypes, program extensibility, design patterns, software components, traversal, visitor pattern |
| 1 | Michael Anthony Smith, Jeremy Gibbons |
Unifying Theories of Locations. |
UTP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
Verifying Business Process Compatibility (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
compatibility verification, model checking, refinement, CSP, business process modelling |
| 1 | Jeremy Gibbons |
Unfolding Abstract Datatypes. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan |
Interoperability frameworks for electronic governance. |
ICEGOV |
2008 |
DBLP DOI BibTeX RDF |
interoperability frameworks, electronic governance |
| 1 | Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons |
Metadata standards for semantic interoperability in electronic government. |
ICEGOV |
2008 |
DBLP DOI BibTeX RDF |
ontology, semantic web, interoperability, metadata, standards, electronic government, semantic interoperability, semantic markup |
| 1 | Steve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton |
Semantic technologies in electronic government. |
ICEGOV |
2008 |
DBLP DOI BibTeX RDF |
ISO 11179, SKOS, application firewall, ontology, XML, semantic web, interoperability, metadata, OWL, RDF, SPARQL, XMI, SAWSDL, semantic markup |
| 1 | Jeremy Gibbons |
Metamorphisms: Streaming representation-changers. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl |
Model-driven architecture for cancer research. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Y. H. Wong, Jeremy Gibbons |
A Process-Algebraic Approach to Workflow Specification and Refinement. |
Software Composition |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Jeremy Gibbons (eds.) |
Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings |
IFM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Michael Anthony Smith, Jeremy Gibbons |
Unifying Theories of Objects. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla |
Semantic frameworks for e-government. |
ICEGOV |
2007 |
DBLP DOI BibTeX RDF |
ontology, semantic web, metadata, model-driven |
| 1 | Jeremy Gibbons, David R. Lester, Richard S. Bird |
Functional Pearl: Enumerating the rationals. |
J. Funct. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons |
Fast and loose reasoning is morally correct. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
inductive and coinductive types, lifted types, non-strict and strict languages, partial and infinite values, partial and total languages, equational reasoning |
| 1 | Jeremy Gibbons |
Design patterns as higher-order datatype-generic programs. |
ICFP-WGP |
2006 |
DBLP DOI BibTeX RDF |
design patterns, functional programming, generic programming, unfolds, folds, higher-order functions |
| 1 | Jeremy Gibbons |
Fission for Program Comprehension. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, Graham Hutton |
Proof Methods for Corecursive Programs. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, Jeremy Gibbons |
TypeCase: a design pattern for type-indexed functions. |
Haskell |
2005 |
DBLP DOI BibTeX RDF |
type-indexed functions, generic programming, type classes |
| 1 | Clare E. Martin, Jeremy Gibbons, Ian Bayley |
Disciplined, efficient, generalised folds for nested datatypes. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Functor category, Nested datatype, Non-regular datatype, Non-uniform datatype, Polymor- phic recursion, Universal property, Fold |
| 1 | Jeremy Gibbons |
Streaming Representation-Changers. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, Johan Jeuring (eds.) |
Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany |
Generic Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve McKeever |
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Carl Backhouse, Jeremy Gibbons (eds.) |
Generic Programming - Advanced Lectures |
Generic Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Towards a Colimit-Based Semantics for Visual Programming. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard S. Bird, Jeremy Gibbons |
Arithmetic Coding with Folds and Unfolds. |
Advanced Functional Programming |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Carl Backhouse, Roy L. Crole, Jeremy Gibbons (eds.) |
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 |
2002 |
DBLP BibTeX RDF |
|
| 1 | Clare E. Martin, Jeremy Gibbons |
On the semantics of nested datatypes. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Hutton, Jeremy Gibbons |
The generic approximation lemma. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch |
When is a function a fold or an unfold? |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Generic downwards accumulations. |
Sci. Comput. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Oege de Moor, Jeremy Gibbons |
Invited Talk: Pointwise Relational Programming. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Calculating Functional Programs. |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard S. Bird, Jeremy Gibbons, Shin-Cheng Mu |
Algebraic Methods for Optimization Problems. |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Oege de Moor, Jeremy Gibbons |
Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting. |
Sci. Comput. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
A Pointless Derivation of Radix Sort. |
J. Funct. Program. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Structured Programing in Java. |
SIGPLAN Notices |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Jeremy Gibbons, Geraint Jones |
The Under-Appreciated Unfold. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
anamorphism, co-induction, level-order, functional programing, unfold, fold, traversal, breadth-first, program calculation |
| 1 | Jeremy Gibbons |
Polytypic Downwards Accumulations. |
MPC |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Computing Downwards Accumulations on Trees Quickly. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
The Third Homomorphism Theorem. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Deriving Tidy Drawings of Trees. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
An Initial-Algebra Approach to Directed Acyclic Graphs. |
MPC |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons, Wentong Cai, David B. Skillicorn |
Efficient Parallel Algorithms for Tree Accumulations. |
Sci. Comput. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gibbons |
Upwards and Downwards Accumulations on Trees. |
MPC |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard S. Bird, Jeremy Gibbons, Geraint Jones |
Formal Derivation of a Pattern Matching Algorithm. |
Sci. Comput. Program. |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")