The Vectorisation Monad (1994)

by Jonathan M. D. Hill , Keith M. Clarke , Richard Bornat
Venue:PASCO'94: First International Symposium on Parallel Symbolic Computation
Citations:3 - 2 self

Active Bibliography

1 Parallel Haskell: The vectorisation monad – Keith Clarke, Jonathan M. D. Hill - 1993
2 An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming – Jonathan M. D. Hill, Keith Clarke
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
7 Deterministic Concurrency – David Paul Carter - 1993
10 The AIM is laziness in a data-parallel language – Jonathan M. D. Hill, Queen Mary - 1993
2 Graphical application and visualization of lazy functional computation – Sandra Periam Foubister - 1995
96 How to Declare an Imperative – Philip Wadler - 1995
17 A Cost Analysis for a Higher-order Parallel Programming Model – Roopa Rangaswami, Sister Kripa - 1996
1 Lazy Imperative Languages - Report on a Project to Examine the Use of Lazy Evaluation in Imperative Languages – Randy Hertzman - 1995
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
3 Vectorizing a non-strict functional language for a data-parallel "Spineless (not so) Tagless G-machine": – Jonathan M.D. Hill
2 Vectorising a Non-Strict Data-Parallel Functional Language – Jonathan Hill, Keith M. Clarke, Richard Bornat
Final report on the GRASP project – Simon L. Peyton Jones, Philip Wadler, Cordelia Hall, Kevin Hammond, Will Partain, Simon Peyton Jones, Phil Wadler - 1993
7 Notes on Functional Programming with Gofer – H. Conrad Cunningham - 1995
Pattern Systems and Methodologies for Multiparadigm Analysis and Design – Charles D. Knutson - 1998
2 Formalising and Reasoning about Fudgets – Colin J. Taylor - 1998
13 Realtime Signal Processing -- Dataflow, Visual, and Functional Programming – Hideki John Reekie - 1995
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993