Type-Refinements.info

Software

Talks

(Rest of section to be constructed.)

Theses

(In reverse chronological order.)

Papers

(Section to be constructed; in the meantime, look at the list of papers for Bob Harper's 2003 seminar on type refinements.)

People

Some researchers in type refinements and related areas (reverse alphabetical):

Links


Last modified: Mon Oct 15 11:16:07 EDT 2007