Sciweavers

120
Voted
ICFP
2007
ACM
16 years 11 days ago
A type system for recursive modules
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
Derek Dreyer