Sciweavers

TIC
2000
Springer
124views System Software» more  TIC 2000»
14 years 4 months ago
Sound and Complete Elimination of Singleton Kinds
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
Karl Crary