The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John Launchbury: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury
    Implementing Functional Databases. [Citation Graph (2, 5)][DBLP]
    DBPL, 1987, pp:165-176 [Conf]
  2. John Launchbury, Simon L. Peyton Jones
    Lazy Functional State Threads. [Citation Graph (1, 0)][DBLP]
    PLDI, 1994, pp:24-35 [Conf]
  3. John Launchbury
    Graph Algorithms with a Functional Flavous. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1995, pp:308-331 [Conf]
  4. John Matthews, John Launchbury
    Elementary Microarchitecture Algebra. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:288-300 [Conf]
  5. Byron Cook, John Launchbury, John Matthews, Richard B. Kieburtz
    Formal Verification of Explicitly Parallel Microprocessors. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:23-36 [Conf]
  6. John Launchbury, Ross Paterson
    Parametricity and Unboxing with Unpointed Types. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:204-218 [Conf]
  7. John Hughes, John Launchbury
    Reversing Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:269-286 [Conf]
  8. Sava Krstic, John Launchbury, Dusko Pavlovic
    Categories of Processes Enriched in Final Coalgebras. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:303-317 [Conf]
  9. John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler
    Avoiding Unnecessary Updates. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1992, pp:144-153 [Conf]
  10. Ryszard Kubiak, John Hughes, John Launchbury
    Implementing Projection-based Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1991, pp:207-224 [Conf]
  11. John Launchbury
    Dependent Sums Express Separation of Binding Times. [Citation Graph (0, 0)][DBLP]
    Functional Programming, 1989, pp:238-253 [Conf]
  12. Simon L. Peyton Jones, John Launchbury
    Unboxed Values as First Class Citizens in a Non-Strict Functional Language. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:636-666 [Conf]
  13. John Launchbury
    A Strongly-Typed Self-Applicable Partial Evaluator. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:145-164 [Conf]
  14. John Launchbury, Tim Sheard
    Warm Fusion: Deriving Build-Cata's from Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:314-323 [Conf]
  15. Andrew J. Gill, John Launchbury, Simon L. Peyton Jones
    A Short Cut to Deforestation. [Citation Graph (0, 0)][DBLP]
    FPCA, 1993, pp:223-232 [Conf]
  16. John Matthews, Byron Cook, John Launchbury
    Microprocessor Specification in Hawk. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:90-101 [Conf]
  17. Levent Erkök, John Launchbury
    Recursive monadic bindings. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:174-185 [Conf]
  18. Byron Cook, John Launchbury
    Disposable Memo Functions (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:310- [Conf]
  19. John Launchbury
    Galois: high assurance software. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:3- [Conf]
  20. John Launchbury, Jeffrey R. Lewis, Byron Cook
    On Embedding a Microarchitectural Design Language within Haskell. [Citation Graph (0, 0)][DBLP]
    ICFP, 1999, pp:60-69 [Conf]
  21. John Launchbury, Amr Sabry
    Monadic State: Axiomatization and Type Safety. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:227-238 [Conf]
  22. John Launchbury, Simon L. Peyton Jones
    Lazy Funtional State Threads: An Abstract. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:3-5 [Conf]
  23. Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr
    Modularity in the New Millenium: A Panel Summary. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:723-725 [Conf]
  24. John Launchbury
    Strictness and Binding-Time Analyses: Two for the Price of One. [Citation Graph (0, 0)][DBLP]
    PLDI, 1991, pp:80-91 [Conf]
  25. Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach
    Bridging the Gulf: A Common Intermediate Language for ML and Haskell. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:49-61 [Conf]
  26. John Launchbury
    A Natural Semantics for Lazy Evaluation. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:144-154 [Conf]
  27. Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields
    Implicit Parameters: Dynamic Scoping with Static Types. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:108-118 [Conf]
  28. David J. King, John Launchbury
    Structuring Depth-First Search Algorithms in Haskell. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:344-354 [Conf]
  29. R. Frost, John Launchbury
    Constructing Natural Language Interpreters in a Lazy Functional Language. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1989, v:32, n:2, pp:108-121 [Journal]
  30. John Launchbury
    Strictness Analysis Aids Inductive Proofs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1990, v:35, n:3, pp:155-159 [Journal]
  31. 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]
  32. John Launchbury, Gebreselassie Baraki
    Representing Demand by Partial Projections. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:4, pp:563-585 [Journal]
  33. John Launchbury, Simon L. Peyton Jones
    State in Haskell. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:4, pp:293-341 [Journal]
  34. John Hughes, John Launchbury
    Relational Reversal of Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:4, pp:465-482 [Journal]
  35. John Hughes, John Launchbury
    Projections for Polymorphic First-Order Strictness Analysis. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1992, v:2, n:3, pp:301-326 [Journal]
  36. John Hughes, John Launchbury
    Reversing Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:3, pp:307-326 [Journal]
  37. Simon L. Peyton Jones, John Hughes, John Launchbury
    How to Give a Good Research Talk. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1993, v:28, n:11, pp:9-12 [Journal]

  38. Industrial Functional Programming. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002