- 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
of a project of the same name... ;-)
(Rest of section to be constructed.)
(In reverse chronological order.)
(Section to be constructed; in the meantime, look at the list of papers for Bob Harper's
2003 seminar on type refinements.)
Some researchers in type refinements and related areas (reverse alphabetical):