 | 2003 |
| 13 |  | Avik Sinha,
Carol Smidts,
Andrew Moran:
Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications.
ISSRE 2003: 181-190 |
| 12 |  | Andrew Moran,
David Sands,
Magnus Carlsson:
Erratic Fudgets: a semantic theory for an embedded coordination language.
Sci. Comput. Program. 46(1-2): 99-135 (2003) |
| 2002 |
| 11 |  | David Sands,
Jörgen Gustavsson,
Andrew Moran:
Lambda Calculi and Linear Speedups.
The Essence of Computation 2002: 60-84 |
| 10 |  | Levent Erkök,
John Launchbury,
Andrew Moran:
Semantics of value recursion for Monadic Input/Output.
ITA 36(2): 155-180 (2002) |
| 2001 |
| 9 |  | Andrew Moran,
Jim Teisher,
Andrew Gill,
Emir Pasalic,
John Veneruso:
Automated translation of legacy code for ATE.
ITC 2001: 148-156 |
| 8 |  | Simon Marlow,
Simon L. Peyton Jones,
Andrew Moran,
John H. Reppy:
Asynchronous Exceptions in Haskell.
PLDI 2001: 274-285 |
| 1999 |
| 7 |  | Andrew Moran,
David Sands,
Magnus Carlsson:
Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language.
COORDINATION 1999: 85-102 |
| 6 |  | Søren B. Lassen,
Andrew Moran:
Unique Fixed Point Induction for McCarthy's Amb.
MFCS 1999: 198-208 |
| 5 |  | Andrew Moran,
David Sands:
Improvement in a Lazy Context: An Operational Theory for Call-by-Need.
POPL 1999: 43-56 |
| 4 |  | Andrew Moran,
Søren B. Lassen,
Simon L. Peyton Jones:
Imprecise Exceptions, Co-Inductively.
Electr. Notes Theor. Comput. Sci. 26: (1999) |
| 1995 |
| 3 |  | John Hughes,
Andrew Moran:
Making Choices Lazily.
FPCA 1995: 108-119 |
| 1993 |
| 2 |  | Paul A. Bailes,
Ming Gong,
Andrew Moran:
Why Functional Languages Really Need Parallelism.
ICCI 1993: 423-427 |
| 1992 |
| 1 |  | John Hughes,
Andrew Moran:
A Semantics for Locally Bottom-Avoiding Choice.
Functional Programming 1992: 102-112 |