Talk about Leijen's "Type Directed Compilation of Row-Typed Algebraic Effects"
Home Page:http://demo.spraakdata.gu.se/dan/koka-slides/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool