The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Andrew Moran: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.060secs, Finished in 0.061secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002