Andrew Moran Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Paul A. Bailes [2]
2Magnus Carlsson [7] [12]
3Levent Erkök [10]
4Andrew Gill [9]
5Ming Gong [2]
6Jörgen Gustavsson [11]
7John Hughes [1] [3]
8Simon L. Peyton Jones [4] [8]
9Søren B. Lassen [4] [6]
10John Launchbury [10]
11Simon Marlow [8]
12Emir Pasalic [9]
13John H. Reppy [8]
14David Sands [5] [7] [11] [12]
15Avik Sinha [13]
16Carol Smidts [13]
17Jim Teisher [9]
18John Veneruso [9]

Colors in the list of coauthors

Copyright © Wed Nov 25 14:46:41 2009 by Michael Ley (ley@uni-trier.de)