A Visual Programming Environment for Functional Languages (2002)

Cached

Download Links

by Joel Kelso
Citations:3 - 0 self

Documents Related by Co-Citation

163 Interaction nets – Y Lafont - 1990
14 Interactive visual functional programming – Keith Hanna - 2002
9 Coinductive Techniques for Operational Equivalence of Interaction Nets – Maribel Fernandez, Ecole Normale Superieure, Ian Mackie - 1998
87 The promotion and accumulation strategies in transformational programming – R Bird - 1984
5 Visual Haskell: A First Attempt – H. John Reekie - 1994
26 Calculating Functional Programs – Jeremy Gibbons - 2000
1 Token-passing Implementations of Recursion and Structured Types – J B Almeida, J S Pinto, M Vilaça - 2007
3 M.: A tool for programming with interaction nets – J B Almeida, J S Pinto, Vilaca
8 Operational Equivalence for Interaction Nets – Maribel Fernández, Ian Mackie
13 Realtime Signal Processing -- Dataflow, Visual, and Functional Programming – Hideki John Reekie - 1995
16 Yet another lambda evaluator based on interaction nets – Yale - 1998
9 Efficient λ-evaluation with interaction nets – I Mackie - 2004
4 Higher-Order Functional Composition in Visual Form – Laurent Dami, Laurent Dami, Didier Vallet, Didier Vallet - 1996
97 The Geometry of Optimal Lambda Reduction – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
141 Proofs and types, volume 7 of Cambridge Tracts – J-Y Girard, P Taylor, Y Lafont - 1989
28 The geometry of interaction machine – I Mackie - 1995
74 The optimal implementation of functional programming languages, in: Cambridge Tracts in Theoretical – A Asperti, S Guerrini - 1998
1 XQueryViz: An XQuery Visualization Tool – J BOULUS, M R KARAM, Z KOTEICHE, H OLLAIC
1 Full Metal Jacket: A Pure Visual Dataflow Language Built on Top of Lisp – D FISK