GibbonsJeremy

The essence of the iterator pattern

GibbonsJeremy, OliveiraBruno c. d. s., 2009 .

What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)

GibbonsJeremy, BoisseauGuillaume, 2018 .

Formal methods for future interoperability

DaviesJim, GibbonsJeremy, 2009 .

Conjugate Hylomorphisms -- Or

HinzeRalf, GibbonsJeremy, WuNicolas, 2015 .

Relational algebra by way of adjunctions

HinzeRalf, GibbonsJeremy, HengleinFritz, 2018 .

Model-driven engineering of information systems

DaviesJim, GibbonsJeremy, WelchJames, 2014 .