Talk about Leijen's "Type Directed Compilation of Row-Typed Algebraic Effects"
Primary LanguageTypeScript