Non-standard Type Systems

Here are a few links to non-standard type systems. (from Jan Vitek)

See also SCG bib query "nonstandard types"

Should be interesting for Pluggable Types

Contact: Oscar Nierstrasz