Jeremy Gibbons | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Mario Román
14 publications
Max S. New
7 publications
Fosco Loregian
3 publications
Bartosz Milewski
1 publication
Emily Pillmore
1 publication
Bryce Clarke
1 publication
Derek Elkins
1 publication

research

∙ 06/20/2022

Proceedings Ninth Workshop on Mathematically Structured Functional Programming

This volume contains the proceedings of the Ninth Workshop on Mathematic...

0 Jeremy Gibbons, et al. ∙

research

∙ 11/19/2021

Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity

Context: Reynolds showed us how to use continuation-passing style and de...

0 Jeremy Gibbons, et al. ∙

research

∙ 01/21/2020

Profunctor optics, a categorical update

Profunctor optics are bidirectional data accessors that capture data tra...

0 Bryce Clarke, et al. ∙