9 search results - page 1 / 2 » jfp 2010 |
84
Voted
JFP
2010
14 years 8 months ago
2010
78
Voted
JFP
2010
15 years 9 days ago
2010
77
Voted
JFP
2010
15 years 9 days ago
2010
83
Voted
JFP
2010
15 years 9 days ago
2010
108
Voted
JFP
2010
15 years 9 days 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...