7661 search results - page 67 / 1533 » Languages and the Computing Profession |
133
Voted
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
SAC
2010
ACM
15 years 11 months ago
2010
ACM
120
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
