Queen's School of Computing School of Computing Seminar


Gradual typing for refinements

Poster: http://research.cs.queensu.ca/calendar/Dunfield.pdf