Our Labor Built AI


An introduction for laymen from The Nib. By Dan Nott and Scott Cambo.

Labels: , ,



Gradual Effect Handlers


As part of the SAGE project funded by Huawei, Li-yao Xia has written in Agda a model of a gradual type system for effects and handlers. It is available on GitHub.

Labels: , ,

This page is powered by Blogger. Isn't yours?