ICFP
2000
ACM
14 years 3 days ago
2000
ACM
ICFP
2000
ACM
14 years 3 days ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
ICFP
2000
ACM
14 years 3 days ago
2000
ACM
ICFP
2000
ACM
14 years 3 days 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 ...
ICFP
2000
ACM
14 years 3 days ago
2000
ACM
We show that a non-duplicating transformation into Continuation-Passing Style (CPS) has no effect on control-flow analysis, a positive effect on binding-time analysis for tradi...
ICFP
2000
ACM
14 years 3 days ago
2000
ACM
ICFP
2000
ACM
14 years 3 days ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
ICFP
2000
ACM
14 years 3 days ago
2000
ACM
ICFP
2000
ACM
14 years 3 days ago
2000
ACM
Ï ÔÖ × ÒØ Ò ÓÔ Ö Ø ÓÒ Ð × Ñ ÒØ
× ÓÖ Ô Ö ÐÐ Ð Ð ÞÝ Ú Ð¹ Ù Ø ÓÒ Ø Ø
ÙÖ Ø ÐÝ ÑÓ Ð× Ø Ô Ö ÐÐ Ð Ú ÓÙÖ Ó Ø ÒÓÒ¹×ØÖ
...
ASPLOS
2000
ACM
14 years 3 days ago
2000
ACM
By studying the behavior of programs in the SPECint95 suite we observed that six out of eight programs exhibit a new kind of value locality, the frequent value locality, according...