17.7.23

 

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: , ,


# posted by Philip Wadler @ 2:31 PM
Comments: Post a Comment

<< Home

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