Sciweavers

LICS
2000
IEEE

Imperative Programming with Dependent Types

15 years 1 months ago
Imperative Programming with Dependent Types
Hongwei Xi
Added 31 Jul 2010
Updated 31 Jul 2010
Type Conference
Year 2000
Where LICS
Authors Hongwei Xi
Comments (0)