The Comonad.Readertypes, (co)monads, substructural logic

Live Coding — Session 21: Relational Programming, Part 6

Edward Kmett

Watch on YouTube · 167 minutes

Reviewing the last couple of days work on delimited continuations, and then implementing explicit sharing in the style of http://www-ps.informatik.uni-kiel.de/~sebf/pub/icfp09.html

Code: http://github.com/ekmett/guanxi -- Watch live at https://www.twitch.tv/ekmett

Materials