Sciweavers

LFP
1990

Static Dependent Types for First Class Modules

14 years 1 months ago
Static Dependent Types for First Class Modules
Mark A. Sheldon, David K. Gifford
Added 07 Nov 2010
Updated 07 Nov 2010
Type Conference
Year 1990
Where LFP
Authors Mark A. Sheldon, David K. Gifford
Comments (0)