Previous
Top
Next
Other talks
David Walhstedt
:
A Small Language with Dependent Types, General Recursion and Size-change Termination
.
Pietro Di Giantonio et al:
A Unifying Approach to Recursive and Co-recursive Definitions
.
...