Sciweavers

JFP
2000
75views more  JFP 2000»

Do we need dependent types?

15 years 7 months ago
Do we need dependent types?
Daniel Fridlender, Mia Indrika
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2000
Where JFP
Authors Daniel Fridlender, Mia Indrika
Comments (0)