9 search results - page 1 / 2 » jfp 2010 |
93
Voted
JFP
2010
14 years 10 months ago
2010
93
Voted
JFP
2010
15 years 1 months ago
2010
89
Voted
JFP
2010
15 years 1 months ago
2010
JFP
2010
15 years 1 months ago
2010
119
click to vote
JFP
2010
15 years 1 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...