| 2001 |
|---|
| 5 | EE | Philip D. Gray,
Meurig Sage:
Dynamic Links for Mobile Connected Context-Sensitive Systems.
EHCI 2001: 281-298 |
| 2000 |
|---|
| 4 | EE | Meurig Sage:
FranTk - a declarative GUI language for Haskell.
ICFP 2000: 106-117 |
| 1998 |
|---|
| 3 | | Meurig Sage,
Chris Johnson:
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle.
DSV-IS 1998: 134-154 |
| 1997 |
|---|
| 2 | | Meurig Sage,
Chris Johnson:
Interactors and Haggis: Executable specifications for interactive systems.
DSV-IS 1997: 93-108 |
| 1 | | Meurig Sage,
Chris Johnson:
Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style.
INTERACT 1997: 126-133 |
