104
Voted
JFP
2007
15 years 2 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de
141
Voted
FROCOS
2005
Springer
15 years 8 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...