Sciweavers

45 search results - page 3 / 9
» jfp 2006
Sort
View
59
Voted
JFP
1998
39views more  JFP 1998»
15 years 3 months ago
Profiling Large-Scale Lazy Functional Programs
Richard G. Morgan, Stephen A. Jarvis
73
Voted
JFP
1998
62views more  JFP 1998»
15 years 3 months ago
Classical Logic, Continuation Semantics and Abstract Machines
Thomas Streicher, Bernhard Reus
98
Voted
JFP
2010
75views more  JFP 2010»
15 years 2 months ago
"Little language" project modules
John Clements, Kathi Fisler
97
Voted
JFP
2010
63views more  JFP 2010»
15 years 2 months ago
Parametricity, type equality, and higher-order polymorphism
Dimitrios Vytiniotis, Stephanie Weirich
99
Voted
JFP
2010
71views more  JFP 2010»
15 years 2 months ago
Factorising folds for faster functions
Graham Hutton, Mauro Jaskelioff, Andy Gill