User Tools

Site Tools


talkcorradi

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
talkcorradi [2014/07/21 13:42]
unige
talkcorradi [2014/07/25 16:54]
unige
Line 14: Line 14:
 To our knowledge, this is the first proposal for a sound and complete top-down direct algorithm for semantic subtyping between coinductive types. To our knowledge, this is the first proposal for a sound and complete top-down direct algorithm for semantic subtyping between coinductive types.
  
 +{{:​corradi.pdf|slides}}
talkcorradi.txt ยท Last modified: 2014/07/25 16:54 by unige