|
|
Polytypic syntax tree operations
– Arjen Van Weelden, Sjaak Smetsers, Rinus Plasmeijer
|
|
5
|
The arrow calculus
– Sam Lindley, Philip Wadler, Jeremy Yallop
- 2008
|
|
1
|
An Arrow Based Semantics for Interactive Applications
– Peter Achten, Marko Van Eekelen, Maarten De Mol, Rinus Plasmeijer
|
|
|
Virtualizing Real-World Objects in FRP
– Daniel Winograd-cort, Hai Liu, Paul Hudak
- 2011
|
|
2
|
TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING
– Neil Sculthorpe
- 2011
|
|
4
|
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
– Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen Van Weelden
- 2005
|
|
16
|
iData For The World Wide Web - Programming Interconnected Web Forms
– Rinus Plasmeijer, Peter Achten
- 2006
|
|
13
|
The Implementation of iData - A Case Study in Generic Programming
– Rinus Plasmeijer, Peter Achten
- 2005
|
|
2
|
The essence of dataflow programming (short version
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
5
|
Traced Premonoidal Categories
– Nick Benton, Martin Hyland
- 1999
|
|
12
|
The essence of dataflow programming
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
18
|
The Universal Resolving Algorithm: Inverse Computation in a Functional Language
– Sergei Abramov, Robert Glück
- 2000
|
|
10
|
Arrows, like monads, are monoids
– Chris Heunen, Bart Jacobs
- 2006
|
|
15
|
Scripting XML with Generic Haskell
– Frank Atanassow, Dave Clarke, Johan Jeuring
- 2003
|
|
26
|
Encoding information flow in Haskell
– Peng Li
- 2006
|
|
10
|
Comparing approaches to generic programming in Haskell
– Ralf Hinze, Johan Jeuring, Andres Löh
- 2006
|
|
3
|
Freyd is Kleisli, for arrows
– Bart Jacobs, Ichiro Hasuo
- 2006
|
|
3
|
Gradual Refinement Blending Pattern Matching with Data Abstraction
– Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
|
|
12
|
Arrows and computation
– Ross Paterson
- 2003
|
