54 citations · 98 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
Featherweight Go
Robert Griesemer, Raymond Hu, Wen Kokke +5
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structura…
cs.PL2020★ 7 cited
Unifying graded and parameterised monads
Dominic Orchard, Philip Wadler, Harley Eades
Monads are a useful tool for structuring effectful features of computation such as state, non-determinism, and continuations. In the last decade, several generalisations of monads…