Type-Refinements.info
Software
- SML CIDRE:
Rowan Davies' datasort refinement typechecker for full Standard ML.
-
Stardust: an implementation of
datasort refinement/index refinement/intersection/union
typechecking for a subset of SML; not yet public, but
there are a few cryptic examples
that appeared in my dissertation.
(You can see the
status of
of a project of the same name... ;-)
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