- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| j3 |      | 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) |
| c10 | | Avik Sinha, Carol Smidts, Andrew Moran: Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications. ISSRE 2003: 181-190 |
| 2002 | ||
| j2 | | Levent Erkök, John Launchbury, Andrew Moran: Semantics of value recursion for Monadic Input/Output. ITA 36(2): 155-180 (2002) |
| c9 | | David Sands, Jörgen Gustavsson, Andrew Moran: Lambda Calculi and Linear Speedups. The Essence of Computation 2002: 60-84 |
| 2001 | ||
| c8 | | Andrew Moran, Jim Teisher, Andrew Gill, Emir Pasalic, John Veneruso: Automated translation of legacy code for ATE. ITC 2001: 148-156 |
| c7 | | Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy: Asynchronous Exceptions in Haskell. PLDI 2001: 274-285 |
| 1999 | ||
| j1 | | Andrew Moran, Søren B. Lassen, Simon L. Peyton Jones: Imprecise Exceptions, Co-Inductively. Electr. Notes Theor. Comput. Sci. 26: 122-141 (1999) |
| c6 | | Andrew Moran, David Sands, Magnus Carlsson: Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. COORDINATION 1999: 85-102 |
| c5 | | |
| c4 | | Andrew Moran, David Sands: Improvement in a Lazy Context: An Operational Theory for Call-by-Need. POPL 1999: 43-56 |
| 1995 | ||
| c3 |  | |
| 1993 | ||
| c2 | | Paul A. Bailes, Ming Gong, Andrew Moran: Why Functional Languages Really Need Parallelism. ICCI 1993: 423-427 |
| 1992 | ||
| c1 | | John Hughes, Andrew Moran: A Semantics for Locally Bottom-Avoiding Choice. Functional Programming 1992: 102-112 |
Colors in the list of coauthors
Last update Sat May 25 11:27:47 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page