Sciweavers

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