Sciweavers

9 search results - page 1 / 2
» jfp 2010
Sort
View
JFP
2010
75views more  JFP 2010»
13 years 3 months ago
"Little language" project modules
John Clements, Kathi Fisler
JFP
2010
63views more  JFP 2010»
13 years 3 months ago
Parametricity, type equality, and higher-order polymorphism
Dimitrios Vytiniotis, Stephanie Weirich
JFP
2010
71views more  JFP 2010»
13 years 3 months ago
Factorising folds for faster functions
Graham Hutton, Mauro Jaskelioff, Andy Gill
JFP
2010
128views more  JFP 2010»
13 years 3 months ago
The arrow calculus
We introduce the arrow calculus, a metalanguage for manipulating Hughes’s arrows with close relations both to Moggi’s metalanguage for monads and to Paterson’s arrow notatio...
Sam Lindley, Philip Wadler, Jeremy Yallop