A new notation for arrows (2001)

Cached

Download Links

by Ross Paterson
Venue:In International Conference on Functional Programming (ICFP ’01
Citations:48 - 1 self

Active Bibliography

12 Arrows and computation – Ross Paterson - 2003
7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
11 Value Recursion in Monadic Computations – Levent Erkok - 2002
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
1 Diagrammatic Representations in Domain-Specific Languages – Konstantinos Tourlas - 2000
10 Confessions of a used programming language salesman (getting the masses hooked on haskell – Erik Meijer - 2006
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
19 From Action Calculi to Linear Logic – Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon Plotkin - 1998
On the Semantics of Parsing Actions – Hayo Thielecke
Domain-Specific Embedded Languages – Kevin Backhouse - 2002
11 Dynamic optimization for functional reactive programming using generalized algebraic data types – Henrik Nilsson - 2005
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
18 An abstract monadic semantics for value recursion – Eugenio Moggi, Amr Sabry - 2003
43 Recursive Monadic Bindings – Levent Erkok, John Launchbury - 2000
68 Applicative programming with effects – Conor Mcbride, Ross Paterson
3 Post-Design Domain-Specific Language Embedding: a Case Study – Anthony M. Sloane
Fixing Idioms A recursion primitive for applicative DSLs – Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens