I agree that this site is using cookies. You can find further informations here.
X
Gibbons, Jeremy
529  results:
Search for persons X
?
1

Functional and Logic Programming: 17th International Sympos.. 

Lecture Notes in Computer Science, 14659
Gibbons, Jeremy ; Miller, Dale - 1st ed. 2024 . , 2024
Link: https://doi.org/10.1007/..
 
?
2

Phases in Software Architecture:

, In: Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture,
Gibbons, Jeremy ; Kidney, Donnacha Oisín ; Schrijvers, Tom. - p. 29-33 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

Editorial:

GIBBONS, JEREMY ; KRISHNAMURTHI, SHRIRAM
Journal of Functional Programming.  32 (2022)  - p. , 2022
Link: https://doi.org/10.1017/..
 
?
4

Methodology:

, In: Engineering Agile Big-Data Systems,
Welch, James ; Davies, Jim ; Feeney, Kevin... - p. 41-77 , 2022
Link: https://doi.org/10.1201/..
 
?
5

Breadth-First Traversal via Staging:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,
Gibbons, Jeremy ; Kidney, Donnacha Oisín ; Schrijvers, Tom. - p. 1-33 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Algorithm Design with the Selection Monad:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,
Hartmann, Johannes ; Gibbons, Jeremy - p. 126-143 , 2022
Link: https://doi.org/10.1007/..
 
?
7

How to design co-programs:

GIBBONS, JEREMY
Journal of Functional Programming.  31 (2021)  - p. , 2021
Link: https://doi.org/10.1017/..
 
?
8

Proceedings of the 7th ACM SIGPLAN International Workshop o..:

Low, Tze Meng ; Gibbons, Jeremy , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Algorithmics:

, In: IFIP Advances in Information and Communication Technology; Advancing Research in Information and Communication Technology,
Bird, Richard ; Gibbons, Jeremy ; Hinze, Ralf... - p. 59-98 , 2021
Link: https://doi.org/10.1007/..
 
?
10

The School of Squiggol: A History of the Bird–Meertens Form..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,
Gibbons, Jeremy - p. 35-53 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Proceedings of the 4th ACM SIGPLAN International Workshop o..:

Darais, David ; Gibbons, Jeremy , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

Comprehending Ringads (keynote):

, In: Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages,
Gibbons, Jeremy - p. 1 ff. , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Proceedings of the 6th ACM SIGPLAN International Workshop o..:

Gibbons, Jeremy , 2019
Link: https://dl.acm.org/doi/1..
 
?
14

Coding with Asymmetric Numeral Systems:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,
Gibbons, Jeremy - p. 444-465 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Bidirectional Transformations 

International Summer School, Oxford, UK, July 25-29, 2016, ...  Lecture Notes in Computer Science ; 9715;Programming and Software Engineering ; 9715;SpringerLink, Bücher;Springer eBook Collection, Computer Science
Gibbons, Jeremy ; Stevens, Perdita , 2018
Link: https://doi.org/10.1007/..
 
1-15