Sciweavers

Share
JFP
2007

Dependent ML An approach to practical programming with dependent types

9 years 8 months ago
Dependent ML An approach to practical programming with dependent types
We present an approach to enriching the type system of ML with a restricted form of de
Hongwei Xi
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JFP
Authors Hongwei Xi
Comments (0)
books