BibSonomy :: author  ::

bookmarks

publications

(74)

• Combining Monads
  David J. King and Philip Wadler Proc. Functional Programming (1993)
  to imported by pdeleenh and 3 other people on 2008-07-07 16:45:32
  | BibTeX  
• Industrial Functional Programming.
  John Launchbury PADL 1 (2008)
  to dblp by dblp on 2008-01-04 00:00:00
  | URL | BibTeX  
• Combining Monads
  David J. King and Philip Wadler Proc. Functional Programming (1993)
  to imported by kimmens and 3 other people on 2007-09-26 12:09:12
  | BibTeX  
• Combining Monads
  David J. King and Philip Wadler Proc. Functional Programming (1993)
  to imported by evol and 3 other people on 2007-09-26 10:37:27
  | BibTeX  
• Combining Monads
  David J. King and Philip Wadler Proc. Functional Programming (1993)
  to imported by tommens and 3 other people on 2007-09-25 21:44:52
  | BibTeX  
• A Loop-Detecting Interpreter for Lazy, Higher-Order Programs.
  John Hughes and Alex Ferguson Functional Programming 85-101 (1992)
  to dblp by dblp on 2006-11-16 00:00:00
  | URL | BibTeX  
• Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary).
  Alex Ferguson and John Hughes Functional Programming 57-61 (1992)
  to dblp by dblp on 2006-11-16 00:00:00
  | URL | BibTeX  
• Implicit Parameters: Dynamic Scoping with Static Types.
  Jeffrey R. Lewis and John Launchbury and Erik Meijer and Mark Shields POPL 108-118 (2000)
  to dblp by dblp on 2006-03-14 00:00:00
  | URL | BibTeX  
• Galois: high assurance software.
  John Launchbury ICFP 3 (2004)
  to dblp by dblp on 2006-02-13 00:00:00
  | URL | BibTeX  
• Modularity in the New Millenium: A Panel Summary.
  Premkumar T. Devanbu and Robert Balzer and Don S. Batory and Gregor Kiczales and John Launchbury and David Lorge Parnas and Peri L. Tarr ICSE 723-725 (2003)
  to dblp by dblp on 2005-12-19 00:00:00
  | URL | BibTeX