Sciweavers

9 search results - page 1 / 2

» jfp 2010

70

JFP
2010

67views more JFP 2010»

Special Issue on Generic Programming Editorial

14 years 6 months ago

Special Issue on Generic Programming Editorial

Download www.comlab.ox.ac.uk

Ralf Hinze

claim paper

Read More »

70

JFP
2010

75views more JFP 2010»

"Little language" project modules

14 years 10 months ago

"Little language" project modules

Download www.brinckerhoff.org

John Clements, Kathi Fisler

claim paper

Read More »

68

JFP
2010

63views more JFP 2010»

Parametricity, type equality, and higher-order polymorphism

14 years 10 months ago

Parametricity, type equality, and higher-order polymorphism

Download www.cis.upenn.edu

Dimitrios Vytiniotis, Stephanie Weirich

claim paper

Read More »

77

JFP
2010

71views more JFP 2010»

Factorising folds for faster functions

14 years 10 months ago

Factorising folds for faster functions

Download www.cs.nott.ac.uk

Graham Hutton, Mauro Jaskelioff, Andy Gill

claim paper

Read More »

95

JFP
2010

128views more JFP 2010»

The arrow calculus

14 years 10 months ago

The arrow calculus

Download homepages.inf.ed.ac.uk

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

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »