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
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