Jesper Cockx's Blog · Oct 15, 2021
WITS '21: First International Workshop on the Implementation of Type Systems
0Sign in to vote or save
This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Jesper Cockx - WITS '21: First International Workshop on the Implementation of Type Systems Jesper Cockx Home Blog Papers Talks Teaching Links WITS '21: First International Workshop on the Implementation of Type Systems Posted by Jesper on October 15, 2021 I am organizing the First International Workshop on the Implementation of Type Systems together with the one and only Richard Eisenberg. The…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.