Sciweavers

12 search results - page 1 / 3
» icfp 1998
Sort
View
92
Voted
ICFP
1998
ACM
15 years 6 months ago
The Marriage of Effects and Monads
Philip Wadler
82
Voted
ICFP
1998
ACM
15 years 6 months ago
Encoding Types in ML-Like Languages
Zhe Yang
78
Voted
ICFP
1998
ACM
15 years 6 months ago
On the Runtime Complexity of Type-Directed Unboxing
Yasuhiko Minamide, Jacques Garrigue
105
Voted
ICFP
1998
ACM
15 years 6 months ago
Implementing Typed Intermediate Languages
Zhong Shao, Christopher League, Stefan Monnier