|
2
|
Graphical application and visualization of lazy functional computation
– Sandra Periam Foubister
- 1995
|
|
|
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
|
|
15
|
Functional Languages and Graphical User Interfaces -- a review and a case study
– Rob Noble , Colin Runciman
- 1994
|
|
2
|
Formalising and Reasoning about Fudgets
– Colin J. Taylor
- 1998
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
20
|
A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types
– Alan Jeffrey
- 1995
|
|
17
|
Isolating Side Effects in Sequential Languages
– Jon G. Riecke, Ramesh Viswanathan
- 1995
|
|
4
|
A Parallel Functional Language Compiler for Message-Passing Multicomputers
– Sahalu B. Junaidu
- 1998
|
|
7
|
Deterministic Concurrency
– David Paul Carter
- 1993
|
|
|
External Examiner
– Weng Kin Ho, Dr. Martín Escardó
- 2006
|
|
37
|
Querying Nested Collections
– Limsoon Wong
- 1994
|
|
21
|
Relational Reasoning about Contexts
– Søren B. Lassen
- 1998
|
|
24
|
A Tutorial on Co-induction and Functional Programming
– Andrew D. Gordon
- 1994
|
|
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
|
|
3
|
Classes and Objects as Basis for I/O in SAC
– Clemens Grelck, Sven-Bodo Scholz
- 1998
|
|
|
Lecture Notes
– Augusti Programming, Thomas Hallgren, Magnus Carlsson
- 1995
|
|
|
The sigma-Semantics: A Comprehensive Semantics for Functional Programs
– Olaf Chitil
- 1997
|
|
6
|
Programming Reactive Systems in Haskell
– Sigbjørn Finne, Simon Peyton Jones
- 1994
|
