migmit: (Default)
[personal profile] migmit

Causal Commutative Arrows and Their Optimization, в исполнении Hai Liu. В соавторах - Eric Cheng и Paul Hudak. Осознал, что ихняя ArrowInit - это, фактически, то же самое, что LispDo из моего предыдущего поста. А я думал, это никому не надо...

Originally posted on migmit.vox.com