Readscheme.org
Haskell Bibliography Home
Language Design
Monads
XML and the Web
Generic Programming
Applications
Compiler Technology
GUI Programming
Parallel Programming
Recent Additions
Search...

Haskell Language Design, Semantics and Theoretical Aspects

  • Adam Bakewell. "A Model for Comparing the Space Usage of Lazy Evaluators". Proc. 2nd ACM Conference on Principles and Practice of Declarative Programming Languages PPDP '00. September 2000. Available online: ps. Bibtex citation.
  • Adam Bakewell. "A Space Semantics for Core Haskell". Proc. 2000 Haskell Workshop. September 2001. Available online: ps. Bibtex citation.
  • Adam Bakewell. "A Space Semantics for Core Haskell". York University. 2000. Available online: ps. Bibtex citation.
  • Karl-Filip Faxén. "A Static Semantics for Haskell". Journal of Functional Programming. 2002. Available online: ps. Bibtex citation.
  • John Hughes and Jan Sparud. "Haskell++: An Object-Oriented Extension of Haskell". Haskell Workshop 1995. 1995. Available online: ps. Bibtex citation.
  • Keith Wansbrough. "Macros and Preprocessing in Haskell". 1999. Available online: ps. Bibtex citation.
  • Mark Tullsen. "First Class Patterns". Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000. volume 1753 of Lecture Notes in Computer Science. January 2000. Available online: ps. Bibtex citation.
  • Claes Thornberg, Björn Lisper. "Elemental Function Overloading in Explicitly Typed Languages". Implementation of Functional Languages (IFL 2000). 2000. Available online: ps. Bibtex citation.
  • Tim Sheard and Simon Peyton Jones. "Template metaprogramming for Haskell". Haskell Workshop 2002. October 2002. Available online: ps. Bibtex citation.
  • Anthony Charles Daniels. "A semantics for functions and behaviours". PhD. Thesis. University of Nottingham. December 1999. Available online: pdf. Bibtex citation.
  • Iavor S. Diatchki, Mark P. Jones, Thomas Hallgren. "A Formal Specification for the Haskell 98 Module System". 2002 Haskell Workshop. October 2002. Available online: pdf. Bibtex citation.
  • Simon Peyton Jones and Mark Shields. "Lexically scoped type variables". March 2002. Available online: ps. Bibtex citation.
  • Lennart Augustsson. "Cayenne: a language with dependent types". Chalmers University ofTechnology. 1999. Available online: ps. Bibtex citation.
  • Reactive Objects. "Johan Nordlander, Mark Jones, Magnus Carlsson, Dick Kieburtz, and Andrew Black". Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002). 2002. Available online: pdf. Bibtex citation.
  • Johan Nordlander. "Polymorphic Subtyping in O'Haskell". Available online: pdf. Bibtex citation.
  • Johan Nordlander. "Polymorphic Subtyping in O'Haskell". APPSEM Workshop on Subtyping and Dependent Types in Programming. 2000. Available online: ps. Bibtex citation.
  • Johan Nordlander. "Reactive Objects and Functional Programming". PhD. Thesis. Chalmers University of Technology. 1999. Available online: ps. Bibtex citation.
  • Johan Nordlander. "Pragmatic Subtyping in Polymorphic Languages". Third ACM SIGPLAN International Conference on Functional Programming (ICFP '98). September 1998. Available online: ps. Bibtex citation.
  • Johan Nordlander and Magnus Carlsson. "Reactive Objects in a Functional Language - an escape from the Evil I". Proceedings of the Third Haskell Workshop. June 1997. Available online: ps. Bibtex citation.
  • Johan Nordlander. "Lazy Computations in an Object Oriented Language for Reactive Programming". Second ACM SIGPLAN Workshop on State In Programming Languages (SIPL '95). 1995. Available online: ps. Bibtex citation.
  • Daan Leijen. "Functional Components, COM components in Haskell". Masters Thesis. University of Amsterdam. June 1998. Available online: ps. Bibtex citation.
  • Simon Peyton Jones and John Hughes (editors). "Haskell 98: A Non-strict, Purely Functional Language". February 1999. Available online: ps pdf html. Bibtex citation.
  • Simon Peyton Jones and John Hughes (editors). "Standard Libraries for Haskell 98". February 1999. Available online: ps pdf html. Bibtex citation.
  • John Hughes. "Why Functional Programming Matters". The Computer Journal. Vol. 32. No. 2. 1989. Available online: ps pdf. Bibtex citation.
  • Mark Shields and Simon Peyton Jones. "First-class Modules for Haskell". Ninth International Conference on Foundations of Object-Oriented Languages (FOOL 9). October 2001. Available online: ps pdf. Bibtex citation.
  • Mark Shields and Simon Peyton Jones. "Object-Oriented Style Overloading for Haskell". Workshop on Multi-Language Infrastructure and Interoperability (BABEL'01). September 2001. Available online: ps pdf Powerpoint. Bibtex citation.
  • Mark Shields and Simon Peyton Jones. "Object-Oriented Style Overloading for Haskell". September 2001. Available online: ps pdf. Bibtex citation.
  • Simon Marlow, Simon Peyton Jones, Andy Moran and John Reppy. "Asynchronous exceptions in Haskell". PLDI'01. 2001. Available online: ps. Bibtex citation.
  • Martin Erwig and Simon Peyton Jones. "Pattern Guards and Transformational Patterns". Haskell Workshop 2000. September 2000. Available online: ps. Bibtex citation.
  • Sigbjorn Finne, Daan Leijen, Erik Meijer and Simon Peyton Jones. "Calling hell from heaven and heaven from hell". ICFP'99. 1999. Available online: ps. Bibtex citation.
  • John Hughes. "Functional Pearls: Global Variables in Haskell". January 2002. Available online: ps. Bibtex citation.
  • Erik Meijer, Nigel Perry and Arjan van Yzendoorn. "Scripting .NET using Mondrian". Proc. ECOOP'01. 2001. Available online: pdf. Bibtex citation.
  • Jeffrey Lewis, Mark Shields, Erik Meijer and John Launchbury. "Implicit Parameters: Dynamic Scoping with Static Types". POPL'00. 2000. Available online: ps. Bibtex citation.
  • Erik Meijer and Sigbjorn Finne. "Lambada, Haskell as a Better Java". Proc. Haskell Workshop 2000. 2000. Available online: pdf. Bibtex citation.
  • Andy Moran, Soeren Lassen and Simon Peyton Jones. "Imprecise Exceptions, Co-Inductively". HOOTS'99. 1999. Available online: ps. Bibtex citation.
  • Mark Jones and Simon Peyton Jones. "Lightweight Extensible Records for Haskell". Haskell Workshop 1999. 1999. Available online: ps. Bibtex citation.
  • Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow and Fergus Henderson. "A semantics for imprecise exceptions". Programming Languages Design and Implementation (PLDI'99). 1999. Available online: ps. Bibtex citation.
  • Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow and Fergus Henderson. "A semantics for imprecise exceptions". Programming Languages Design and Implementation (PLDI'99). Available online: ps. Bibtex citation.
  • SO Finne, Daan Leijen, Erik Meijer and Simon Peyton Jones. "H/Direct: A Binary Foreign Language Interface for Haskell". ICFP'98. 1998. Available online: ps. Bibtex citation.
  • Simon Peyton Jones, Erik Meijer and Daan Leijen. "Scripting COM components in Haskell". Software Reuse 1998. 1998. Available online: ps. Bibtex citation.
  • MB Shields, T Sheard and Simon Peyton Jones. "Dynamic typing as staged type inference". POPL98. 1998. Available online: ps. Bibtex citation.
  • Simon Peyton Jones, Mark Jones and Erik Meijer. "Type classes: exploring the design space". Procedings of the Haskell Workshop 1997. June 1997. Available online: ps. Bibtex citation.
  • T Nordin and Simon Peyton Jones. "Green Card: a foreign-language interface for Haskell". Proceedings of the Haskell Workshop 1997. June 1997. Available online: ps. Bibtex citation.
  • J Nicklisch and Simon Peyton Jones. "An exploration of modular programs". Proceedings of the 1996 Glasgow Functional Programming Workshop. July 1996. Available online: ps. Bibtex citation.
  • Simon Peyton Jones. "Bulk types with class". Proceedings of the 1996 Glasgow Functional Programming Workshop. July 1996. Available online: ps. Bibtex citation.
  • Simon Peyton Jones and J Launchbury. "State in Haskell". Lisp and Symbolic Computation. 8(4). December 1995. Available online: ps. Bibtex citation.
  • CV Hall, K Hammond, Simon Peyton Jones and PL Wadler. "Type classes in Haskell". European Symposium On Programming. LNCS 788. April 1994. Available online: ps. Bibtex citation.
  • Simon Peyton Jones and PL Wadler. "A static semantics for Haskell". University of Glasgow. 1992. Bibtex citation.
  • Martin Odersky, Philip Wadler and Martin Wehr. "A second look at overloading". 7'th International Conference on Functional Programming and Computer Architecture. June 1995. Available online: ps. Bibtex citation.
  • Philip Wadler and Stephen Blott. "How to make ad-hoc polymorphism less ad hoc". 16'th Symposium on Principles of Programming Languages. January 1989. Available online: ps. Bibtex citation.
  • Philip Wadler. "Views: a way for pattern matching to cohabit with data abstraction". 14'th ACM Symposium on Principles of Programming Languages. January 1987. Available online: ps. Bibtex citation.
  • Philip Wadler. "The concatenate vanishes". December 1987. Available online: ps. Bibtex citation.
  • Philip Wadler. "A new array operation". Proceedings of the Workshop on Graph Reduction. October 1986. Available online: ps. Bibtex citation.
  • Mark P. Jones. "Exploring the Design Space for Type-based Implicit Parameterization". 2000. Available online: pdf. Bibtex citation.
  • Mark P. Jones. "Type Classes with Functional Dependencies". Proceedings of the 9th European Symposium on Programming, ESOP 2000. LNCS 1782. March 2000. Available online: pdf ps. Bibtex citation.
  • Mark P. Jones. "First-class Polymorphism with Type Inference". Proceedings of the Twenty Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1997. Available online: pdf ps. Bibtex citation.
  • Benedict R. Gaster and Mark P. Jones. "A Polymorphic Type System for Extensible Records and Variants". Department of Computer Science, University of Nottingham. Technical report NOTTCS-TR-96-3. November 1996. Available online: ps. Bibtex citation.
  • Mark P. Jones. "Using Parameterized Signatures to Express Modular Structure". Proceedings of the Twenty Third Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 1996. Available online: pdf ps. Bibtex citation.
  • Mark P. Jones. "From Hindley-Milner Types to First-Class Structures". Proceedings of the Haskell Workshop. June 1995. Available online: pdf ps. Bibtex citation.
  • Mark P. Jones. "Functional Programming with Overloading and Higher-Order Polymorphism". First International Spring School on Advanced Functional Programming Techniques. Lecture Notes in Computer Science 925. May 1995. Available online: pdf ps. Bibtex citation.
  • Mark P. Jones. "Simplifying and Improving Qualified Types". FPCA '95: Conference on Functional Programming Languages and Computer Architecture. June 1995. Available online: pdf ps. Bibtex citation.
  • Mark P. Jones. "Qualified Types: Theory and Practice". PhD. Thesis. Yale University. November 1994. Bibtex citation.
  • Mark P. Jones. "Simplifying and Improving Qualified Types". Yale University. Research Report YALEU/DCS/RR-1040. June 1994. Available online: pdf ps. Bibtex citation.
  • Mark P. Jones. "Coherence for qualified types". Yale University. Research Report YALEU/DCS/RR-989. September 1993. Available online: pdf ps. Bibtex citation.
  • Mark P. Jones. "A system of constructor classes: overloading and implicit higher-order polymorphism". FPCA '93: Conference on Functional Programming Languages and Computer Architecture. June 1993. Available online: pdf ps. Bibtex citation.
  • Mark P. Jones. "A theory of qualified types". ESOP '92: European Symposium on Programming. Lecture Notes in Computer Science, 582. February 1992. Available online: pdf ps. Bibtex citation.

Last modified: Saturday, December 24th, 2005 12:22:17am
HTML generated using WebIt!.