Collaborated with:
J.C.Blanchette A.P.0001 D.Traytel
Talks about:
functor (1) natur (1) bound (1) bind (1)
Person: Lorenzo Gheri
DBLP: Gheri:Lorenzo
Contributed to:
Wrote 1 papers:
- POPL-2019-BlanchetteGPT #bound
- Bindings as bounded natural functors (JCB, LG, AP0, DT), p. 34.