author-photo

Jeremy Gibbons

University of Oxford

268

Papers

2885

Citations

Citation Trend

Filter By

Papers (268) Sort By

Journal Conference Others

Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity.

2022 Art Sci. Eng. Program.
- Jeremy Gibbons
Show All
- Source
- Cite
- Save
Citations (0)
Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity.

2021 arXiv: Programming Languages
- Jeremy Gibbons
Show All
- Source
- Cite
- Save
Citations (0)
Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity

2021
- Jeremy Gibbons
Show All
- Source
- Cite
- Save
Citations (1)
Algorithm Design with Haskell

2020
- Richard S. Bird
- Jeremy Gibbons
Show All
- Source
- Cite
- Save
Citations (5)
Segments and subsequences

2020
- Richard Bird
- Jeremy Gibbons
Show All
- Source
- Cite
- Save
Citations (0)
Useful data structures

2020
- Richard S. Bird
- Jeremy Gibbons
Show All
- Source
- Cite
- Save
Citations (0)
Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy

2020
Show All
- Source
- Cite
- Save
Citations (0)
Greedy algorithms on graphs

2020
- Richard Bird
- Jeremy Gibbons
Show All
- Source
- Cite
- Save
Citations (0)
Cost semantics for heterogeneous parallel functional languages

2020
- Jeremy Gibbons
- Timothy A. K. Zakian
Show All
- Source
- Cite
- Save
Citations (0)
The School of Squiggol: A History of the Bird−Meertens Formalism

2020
- Jeremy Gibbons
Show All
- Source
- Cite
- Save
Citations (0)