|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
2
|
Formalising and Reasoning about Fudgets
– Colin J. Taylor
- 1998
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 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
|
|
76
|
The Marriage of Effects and Monads
– Philip Wadler, Peter Thiemann
- 1998
|
|
21
|
Interactive Functional Objects in Clean
– Peter Achten, Rinus Plasmeijer
- 1997
|
|
1
|
A Theory of Core Fudgets
– Colin J. Taylor
- 1998
|
|
26
|
Gadgets: Lazy Functional Components for Graphical User Interfaces
– Rob Noble, Colin Runciman
- 1995
|
|
|
Declarative Support for Prototyping Interactive Systems
– Meurig Sage
- 2001
|
|
2
|
Graphical application and visualization of lazy functional computation
– Sandra Periam Foubister
- 1995
|
|
21
|
Porting the Clean Object I/O Library to Haskell
– Peter Achten, Simon Peyton Jones
- 2000
|
|
18
|
Lightweight GUIs for Functional Programming
– Ton Vullinghs, Daniel Tuijnman, Wolfram Schulte
- 1995
|
|
1225
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
|
1st Year Transfer Dissertation
– Joel Wright
- 2003
|
|
45
|
A Semantics for Imprecise Exceptions
– Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson
- 1999
|
|
5
|
Composing the user interface with Haggis
– Sigbjorn Finne, Simon Peyton Jones
- 1996
|
|
4
|
Interactors and Haggis: Executable Specifications for Interactive Systems
– Meurig Sage, Chris Johnson
- 1997
|
|
11
|
Communicating Functional Agents and their Application to Graphical User Interfaces (Extended Abstract)
– Thomas Frauenstein, Wolfgang Grieskamp, Mario Sudholt
- 1996
|
|
|
Domain-Specific Embedded Languages
– Kevin Backhouse
- 2002
|