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 - The Agda's New Sorts Jesper Cockx Home Blog Papers Talks Teaching Links The Agda's New Sorts Posted by Jesper on May 3, 2018 In the last few weeks, Sandro Stucki has given a couple of excellent presentations on pure type systems (pts’s) at the initial types club at Chalmers. Since I’ve been working on the implementation of Agda’s sorts system, and the new implementation is closely…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.