9 search results - page 1 / 2 » jfp 2010 |
73
Voted
JFP
2010
14 years 7 months ago
2010
74
Voted
JFP
2010
14 years 11 months ago
2010
71
Voted
JFP
2010
14 years 11 months ago
2010
79
Voted
JFP
2010
14 years 11 months ago
2010
101
Voted
JFP
2010
14 years 11 months ago
2010
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...