Jeremy Gibbons - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

Semantic Frameworks - Meanings in the ArchitectureJim Davies, Jeremy Gibbons. icdcit 2010: 40-54 [doi]

EditorialJeremy Gibbons. JFP, 20(1):1, 2010. [doi]

Scala for generic programmersBruno C. d. S. Oliveira, Jeremy Gibbons. JFP, 20(3-4):303-352, 2010. [doi]

Gradual RefinementMeng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu. mpc 2010: 397-425 [doi]

2009

Semantics-Driven Development for Electronic Government ApplicationsCharles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui. hicss 2009: 1-10 [doi]

Formal methods for future interoperabilityJim Davies, Jeremy Gibbons. SIGCSE, 41(2):60-64, 2009. [doi]

Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. ProceedingsJeremy Gibbons, JosÃ© Nuno Oliveira, editors, Volume 5846 of Lecture Notes in Computer Science, Springer, 2009. [doi]

The essence of the Iterator patternJeremy Gibbons, Bruno C. d. S. Oliveira. JFP, 19(3-4):377-402, 2009. [doi]

A Relative Timed Semantics for BPMNPeter Y. H. Wong, Jeremy Gibbons. ENTCS, 229(2):59-75, 2009. [doi]

Property Specifications for Workflow ModellingPeter Y. H. Wong, Jeremy Gibbons. IFM 2009: 56-71 [doi]

2008

Interoperability frameworks for electronic governanceAlejandra Cechich, Lorenzo Madrid, Jeremy Gibbons, Jay P. Kesan. icegov 2008: 490-491 [doi]

Metadata standards for semantic interoperability in electronic governmentJim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons. icegov 2008: 67-75 [doi]

Unfolding Abstract DatatypesJeremy Gibbons. mpc 2008: 110-133 [doi]

Semantic technologies in electronic governmentSteve Harris, Jeremy Gibbons, Jim Davies, Andrew Tsui, Charles Crichton. icegov 2008: 45-51 [doi]

Scala for generic programmersBruno C. d. S. Oliveira, Jeremy Gibbons. ICFP 2008: 25-36 [doi]

The visitor pattern as a reusable, generic, type-safe componentBruno C. d. S. Oliveira, Meng Wang, Jeremy Gibbons. OOPSLA 2008: 439-456 [doi]

Unifying Theories of LocationsMichael Anthony Smith, Jeremy Gibbons. utp 2010: 161-180 [doi]

Verifying Business Process Compatibility (Short Paper)Peter Y. H. Wong, Jeremy Gibbons. qsic 2008: 126-131 [doi]

On Specifying and Visualising Long-Running Empirical StudiesPeter Y. H. Wong, Jeremy Gibbons. ICMT 2008: 76-90 [doi]

A Process Semantics for BPMNPeter Y. H. Wong, Jeremy Gibbons. icfem 2008: 355-374 [doi]

WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer ResearchTianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos H. Caldas. ccgrid 2008: 73-81 [doi]

2007

2006

2005

Proof Methods for Corecursive ProgramsJeremy Gibbons, Graham Hutton. FUIN, 66(4):353-366, 2005. [doi]

TypeCase: a design pattern for type-indexed functionsBruno C. d. S. Oliveira, Jeremy Gibbons. haskell 2005: 98-109 [doi]

2004

Streaming Representation-ChangersJeremy Gibbons. mpc 2004: 142-168 [doi]

Disciplined, efficient, generalised folds for nested datatypesClare E. Martin, Jeremy Gibbons, Ian Bayley. fac, 16(1):19-35, 2004. [doi]

2003

Generic Programming - Advanced LecturesRoland Carl Backhouse, Jeremy Gibbons, editors, Volume 2793 of Lecture Notes in Computer Science, Springer, 2003.

Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, GermanyJeremy Gibbons, Johan Jeuring, editors, Volume 243 of IFIP Conference Proceedings, Kluwer, 2003.

On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering ProjectsAndrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve McKeever. ICSE 2003: 628-633 [doi]

2002

Arithmetic Coding with Folds and UnfoldsRichard S. Bird, Jeremy Gibbons. afp 2003: 1-26 [doi]

Towards a Colimit-Based Semantics for Visual ProgrammingJeremy Gibbons. coordination 2002: 166-173 [doi]

2001

When is a function a fold or an unfold?Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch. ENTCS, 44(1), 2001. [doi]

The generic approximation lemmaGraham Hutton, Jeremy Gibbons. ipl, 79(4):197-201, 2001. [doi]

On the semantics of nested datatypesClare E. Martin, Jeremy Gibbons. ipl, 80(5):233-238, 2001. [doi]

2000

Algebraic Methods for Optimization ProblemsRichard S. Bird, Jeremy Gibbons, Shin-Cheng Mu. acmmpc 2002: 281-308 [doi]

Invited Talk: Pointwise Relational ProgrammingOege de Moor, Jeremy Gibbons. amast 2000: 371-390 [doi]

Generic downwards accumulationsJeremy Gibbons. SCP, 37(1-3):37-65, 2000.

Calculating Functional ProgramsJeremy Gibbons. acmmpc 2002: 149-202 [doi]

1999

Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph FormattingOege de Moor, Jeremy Gibbons. SCP, 35(1):3-27, 1999.

A Pointless Derivation of Radix SortJeremy Gibbons. JFP, 9(3):339-346, 1999.

1998

The Under-Appreciated UnfoldJeremy Gibbons, Geraint Jones. ICFP 1998: 273-279 [doi]

Polytypic Downwards AccumulationsJeremy Gibbons. mpc 1998: 207-233 [doi]

Structured Programing in JavaJeremy Gibbons. SIGPLAN, 33(4):40-43, 1998.

1996

Computing Downwards Accumulations on Trees QuicklyJeremy Gibbons. TCS, 169(1):67-80, 1996. [doi]

Deriving Tidy Drawings of TreesJeremy Gibbons. JFP, 6(3):535-562, 1996.

The Third Homomorphism TheoremJeremy Gibbons. JFP, 6(4):657-665, 1996.

1995

An Initial-Algebra Approach to Directed Acyclic GraphsJeremy Gibbons. mpc 1995: 282-303

1994

Efficient Parallel Algorithms for Tree AccumulationsJeremy Gibbons, Wentong Cai, David B. Skillicorn. SCP, 23(1):1-18, 1994.

1992

Upwards and Downwards Accumulations on TreesJeremy Gibbons. mpc 1993: 122-138

1989

Formal Derivation of a Pattern Matching AlgorithmRichard S. Bird, Jeremy Gibbons, Geraint Jones. SCP, 12(2):93-104, 1989.