| 2003 |
|---|
| 13 | EE | 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 | EE | 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 | EE | David Sands,
Jörgen Gustavsson,
Andrew Moran:
Lambda Calculi and Linear Speedups.
The Essence of Computation 2002: 60-84 |
| 10 | EE | 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 | EE | 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 | EE | Andrew Moran,
David Sands:
Improvement in a Lazy Context: An Operational Theory for Call-by-Need.
POPL 1999: 43-56 |
| 4 | EE | 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 |
