|
3
|
The Vectorisation Monad
– Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat
- 1994
|
|
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
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
7
|
Deterministic Concurrency
– David Paul Carter
- 1993
|
|
2
|
Graphical application and visualization of lazy functional computation
– Sandra Periam Foubister
- 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
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
1
|
Vectorising a Non-Strict Data-Parallel Functional Language
– Jonathan Hill, Keith M. Clarke, Richard Bornat
|
|
|
Lambda-Calculus and Functional Programming
– Jonathan P. Seldin
|
|
6
|
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
|
|
2
|
Realtime Signal Processing Data ow, Visual, and Functional Programming
– Hideki John Reekie
- 1995
|
|
13
|
Realtime Signal Processing -- Dataflow, Visual, and Functional Programming
– Hideki John Reekie
- 1995
|
|
6
|
Computing Science
– Ph Thesis, Patrick M. Sansom, Patrick M. Sansom
- 1994
|
|
|
Execution Profiling for . . .
– Patrick M. Sansom
- 1994
|
