• Meurig Sage. "FranTk - A Declarative GUI language for Haskell". International Conference on Functional Programming, ICFP'2000. September 2000. Available online: pdf. Bibtex citation.

November 27, 2002

• Johan Agat. "Types for Register Allocation". IFL'97. LNCS-1467. 1997. Available online: ps. Bibtex citation.
• Johan Agat. "A Typed Functional language for Expressing Register Utilisation". Masters Thesis. Chalmers University. October 1998. Available online: ps. Bibtex citation.
• Adam Bakewell. "Using Term Graph Rewriting Models to Analyse Relative Space Efficiency". TERMGRAPH 2002 International Workshop on Term Graph Rewriting. October 2002. Bibtex citation.
• Adam Bakewell. "An Operational Theory of Relative Space Efficiency". PhD. Thesis. University of York. December 2001. Available online: ps. Bibtex citation.
• Adam Bakewell. "Looking for leaks". Space 2001 Workshop. January 2001. Available online: ps. Bibtex citation.
• 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.
• Adam Bakewell. "The Space Usage Problem: An Evaluation Kit for Graph-Reduction Semantics". 2nd Scottish Functional Programming Workshop. 2000. Available online: ps. Bibtex citation.
• Adam Bakewell and Colin Runciman. "Automated Generalisation of Function Definitions". Proc. Functional and Logic Programming (FLOPS'99). November 1999. Bibtex citation.
• Magnus Carlsson. "Generic Unification Generalized, or Datatypes parameterized over Typerecords". Dagstuhl Seminar Dependent Type Theory meets Practical Programming. August 2001. Available online: ps. Bibtex citation.
• Magnus Carlsson. "Arrows for Fudgets". October 2001. Available online: ps. Bibtex citation.
• Magnus Carlsson. "Monads for Incremental Computing". ICFP'2002. October 2002. Available online: pdf. Bibtex citation.
• Manuel M. T. Chakravarty. "Take: A Distributed Testing Harness in Haskell". Available online: ps. Bibtex citation.
• Manuel M. T. Chakravarty and Gabriele Keller. "Functional Array Fusion". International Conference on Functional Programming (ICFP 2001). September 2001. Available online: ps. Bibtex citation.
• Manuel M. T. Chakravarty. "C -> Haskell, or Yet Another Interfacing Tool (Revised Version)". Implementation of Functional Languages, 11th. International Workshop (IFL'99). LNCS 1868. 2000. Available online: ps. Bibtex citation.
• Manuel M. T. Chakravarty. "Lazy Lexing is Fast". Fourth Fuji International Symposium on Functional and Logic Programming. LNCS 1722. 1999. Available online: ps. Bibtex citation.
• Manuel M. T. Chakravarty. "A Mobile Functional Object Code". Implementation of Functional Languages, 10th International Workshop (IFL'98). 1998. Available online: ps. Bibtex citation.
• Manuel M. T. Chakravarty, Yike Guo, and Martin Köhler. "Distributed Haskell: Goffin on the Internet". Third Fuji International Symposium on Functional and Logic Programming. 1998. Available online: ps. Bibtex citation.
• Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, and Hendrik C. R. Lock. "Goffin: Higher-Order Functions Meet Concurrent Constraints". Science of Computer Programming. 30. 1-2. 1998. Available online: ps. Bibtex citation.
• Manuel M. T. Chakravarty, Gabriele Keller, Roman Lechtchinsky, and Wolf Pfannenstiel. "Nepal -- Nested Data-Parallelism in Haskell". Euro-Par 2001: Parallel Processing. LNCS 2150. 2001. Available online: ps. Bibtex citation.
• Manuel M. T. Chakravarty. "Lazy Thread and Task Creation in Parallel Graph-Reduction". Implementation of Functional Languages, 9th International Workshop (IFL'97). LNCS 1467. 1998. Available online: ps. Bibtex citation.
• Manuel M. T. Chakravarty. "Integrating Multithreading into the Spineless Tagless G-machine". 1995 Glasgow Workshop on Functional Programming. July 1995. Available online: ps. Bibtex citation.
• Koen Claessen. "Parallel Parsing Processes". September 2002. Available online: ps. Bibtex citation.
• Koen Claessen. "Safety Property Verification of Cyclic Circuits". June 2002. Available online: ps. Bibtex citation.
• Koen Claessen, John Hughes. "Testing Monadic Code with QuickCheck". Haskell Workshop 2002. October 2002. Available online: ps. Bibtex citation.
• Koen Claessen, Gordon Pace. "An Embedded Language Approach to Teaching Hardware Compilation". FDPE 2002. October 2002. Available online: ps. Bibtex citation.
• Koen Claessen, Reiner Hähnle, Johan Mårtensson. "Verification of Hardware Systems with First-Order Logic". PaPS 2002. 2002. Available online: ps. Bibtex citation.
• Koen Claessen, Gordon Pace. "An Embedded Language Framework for Hardware Compilation". DCC 2002. 2002. Available online: ps. Bibtex citation.
• Koen Claessen, Mary Sheeran, Satnam Singh. "The Design and Verification of a Sorter Core". CHARME 2001. 2001. Available online: pdf. Bibtex citation.
• Kei Davis. "Projection-Based Program Analysis". PhD. Thesis. Glasgow University. 1994. Available online: ps. Bibtex citation.
• Kei Davis. "PERs from Projections for Binding-time Analysis". Journal of Lisp and Symbolic Computation (LASC). 8. 3. October 1995. Available online: ps. Bibtex citation.
• Kei Davis. "PERs from Projections for Binding-time Analysis". 1994 ACM Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '94). 1994. Bibtex citation.
• Kei Davis. "Projection-based Termination Analysis". Functional Programming: Proceedings of the 1993 Glasgow Workshop. July 1993. Available online: ps. Bibtex citation.
• Kei Davis. "Higher-order Binding-time Analysis". Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93). 1993. Available online: ps. Bibtex citation.
• Kei Davis. "Analysing Functions by Projection-based Backward Abstraction". Functional Programming: Proceedings of the 1992 Glasgow Workshop. July 1992. Available online: ps. Bibtex citation.
• Kei Davis. "A Note on the Choice of Domains for Projection-Based Program Analysis". Functional Programming: Proceedings of the 1991 Glasgow Workshop. August 1991. Available online: ps. Bibtex citation.
• Kei Davis. "Strictness Analysis in 4D". 1990 Glasgow Workshop on Functional Programming. August 1990. Available online: ps. Bibtex citation.
• Kei Davis and Philip Wadler. "Strictness Analysis: Proved and Improved". 1989 Glasgow Workshop on Functional Programming. August 1989. Available online: ps. Bibtex citation.
• Martin Erwig. "The Categorical Imperative - Or: How to Hide Your State Monads". 10th Int. Workshop on Implementation of Functional Languages (IFL'98). 1998. Available online: ps pdf. Bibtex citation.
• Karl-Filip Faxén. "Optimizing Lazy Functional Programs Using Flow-Inference". Workshop on Types for Program Analysis (TPA-95). 1995. Available online: ps. Bibtex citation.
• Karl-Filip Faxén. "Optimizing Lazy Functional Programs Using Flow-Inference". Second International Symposium on Static Analysis (SAS-95). 1995. Available online: ps. Bibtex citation.
• Karl-Filip Faxén. "Flow Inference, Code Generation, and Garbage Collection for Lazy Functional Languages". Masters Thesis. 1996. Available online: ps. Bibtex citation.
• Karl-Filip Faxén. "Polyvariance, Polymorphism, and Flow Analysis". 5th LOMAPS Workshop. June 1996. Available online: ps. Bibtex citation.
• Karl-Filip Faxén. "Analysing, Transforming and Compiling Lazy Functional Programs". PhD. Thesis. June 1997. Available online: ps. Bibtex citation.
• Karl-Filip Faxén. "Representation Analysis for Coercion Placement". Implementation of Declarative Languages workshop. September 1999. Available online: ps. Bibtex citation.
• Karl-Filip Faxén. "The Costs and Benefits of Cloning in a Lazy Functional Language". Scottish Functional Programming Workshop. July 2000. Available online: ps. Bibtex citation.
• Karl-Filip Faxén. "Cheap Eagerness: Speculative Evaluation in a Lazy Functional Language". ICFP 2000. September 2000. Available online: ps. Bibtex citation.
• Karl-Filip Faxén. "Dynamic Cheap Eagerness". Implementation of Functional Languages Workshop. September 2001. Available online: ps. Bibtex citation.
• Karl-Filip Faxén. "A Static Semantics for Haskell". Journal of Functional Programming. 2002. Available online: ps. Bibtex citation.
• Henrik Nilsson and Jan Sparud. "The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging". Journal of Automated Software Engineering. 4. 2. 1997. Available online: ps. Bibtex citation.
• Amr Sabry and Jan Sparud. "Debugging Reactive Systems in Haskell". Haskell Workshop'97. 1997. Available online: ps. Bibtex citation.
• Jan Sparud. "A Transformational Approach to Debugging Lazy Functional Programs". Masters Thesis. Chalmers University. 1996. Available online: ps. Bibtex citation.
• Jan Sparud and Henrik Nilsson. "The Architecture of a Debugger for Lazy Functional Languages". AADEBUG '95. 1995. 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.
• Jan Sparud. "Towards a Haskell Debugger". Chalmers DofCs annual Winter-meeting. 1994. Available online: ps. Bibtex citation.
• Mark Tullsen. "The Zip Calculus". Mathematics of Program Construction, Fifth International Conference, MPC 2000. volume 1837 of Lecture Notes in Computer Science. July 2000. Available online: ps. Bibtex citation.
• Mark Tullsen. "The Zip Calculus". Yale University. YALEU/DCS/RR-1191. February 2000. 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.
• Mark Tullsen and Paul Hudak. "Shifting Expression Procedures Into Reverse". Workshop on Partial Evaluation and Semantics-Based Program Manipulation. January 1999. Available online: ps. Bibtex citation.
• Mark Tullsen and Paul Hudak. "An Intermediate Meta-language for Program Transformation". Yale University. YALEU/DCS/RR-1154. June 1998. Available online: ps. Bibtex citation.
• Mark Tullsen. "Compiling Haskell to Java". Yale University. YALEU/DCS/RR-1204. May 1996. Available online: ps. Bibtex citation.
• Mark Tullsen. "PATH, a Program Transformation System for Haskell". PhD. Thesis. Yale University. May 2002. Available online: ps. Bibtex citation.
• Keith Wansbrough. "Macros and Preprocessing in Haskell". 1999. Available online: ps. Bibtex citation.
• Keith Wansbrough. "Simple Polymorphic Usage Analysis". PhD. Thesis. University of Cambridge. March 2002. Available online: abstract. Bibtex citation.
• Joy Goodman. "Incremental Program Transformation Using Abstract Parallel Machines". PhD. Thesis. Glasgow University. June 2002. Available online: ps. Bibtex citation.
• Joy Goodman. "Introduction of Pipelining Optimisations into Gaussian Elimination". 3rd Scottish Functional Programming Workshop. August 2001. Available online: ps. Bibtex citation.
• Joy Goodman and John O'Donnell. "Introduction of static load balancing in incremental parallel programming". Seventh International Euro-Par Conference. LNCS 2150. 2001. Bibtex citation.
• Joy Goodman and John O'Donnell. "Nondeterminism in the APM Methodology". 1st Scottish Functional Programming Workshop. 1999. Available online: ps (updated). Bibtex citation.
• Joy Goodman. "A Methodology for the Derivation of Parallel Programs". Departamento de Informatica, Universidade do Minho. Technical Report UMDITR03. 1998. Available online: ps. Bibtex citation.
• Joy Goodman, John O'Donnell and Gudula Rünger. "Refinement Transformation Using Abstract Parallel Machines". Glasgow Functional Programming Group Workshop 1998. 1998. Available online: ps (updated) (expanded). Bibtex citation.
• Noel Winstanley. "Staged Methodologies for Parallel Programming". PhD. Thesis. University of Glasgow. April 2001. Available online: pdf. Bibtex citation.
• Noel Winstanley. "Parallel Programming by Transformation". Proceedings of EuroPar'99. 1999. Available online: ps pdf. Bibtex citation.
• Noel Winstanley. "A Type-Sensitive Preprocessor for Haskell". Glasgow Functional Programming Workshop. 1997. Available online: ps pdf. Bibtex citation.
• Noel Winstanley and John O'Donnell. "Parallel Distributed Programming with Haskell+PVM". Proceedings of EuroPar'97. 1997. Available online: ps 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.
• Levent Erkök and John Launchbury and Andrew Moran. "Semantics of Value Recursion for Monadic Input/Output". Journal of Theoretical Informatics and Applications. 36. 2. 2002. Bibtex citation.
• Levent Erkök and John Launchbury. "A recursive do for Haskell". Haskell Workshop 2002. October 2002. Available online: ps pdf. Bibtex citation.
• Levent Erkök. "Value recursion in monadic computations". PhD. Thesis. OGI School of Science and Engineering. October 2002. Available online: ps pdf. Bibtex citation.
• Jan-Willem Maessen. "Eager Haskell: Resource-bounded Execution Yields Efficient Iteration". Haskell Workshop 2002. October 2002. Available online: ps pdf. Bibtex citation.
• Henrik Nilsson, Antony Courtney, and John Peterson. "Functional Reactive Programming, Continued". Haskell Workshop 2002. October 2002. Available online: ps. Bibtex citation.
• Simon Marlow. "Haddock, A Haskell Documentation Tool". Haskell Workshop 2002. October 2002. Available online: ps. Bibtex citation.
• James Cheney and Ralf Hinze. "A Lightweight Implementation of Generics and Dynamics". Haskell Workshop 2002. October 2002. Available online: ps pdf. Bibtex citation.
• Chris Okasaki. "Techniques for Embedding Postfix Languages in Haskell". Haskell Workshop 2002. October 2002. Available online: ACM Digital Library. Bibtex citation.
• Jan-Willem Maessen. "Hybrid Eager and Lazy Evaluation for Efficient Compilation of Haskell". PhD. Thesis. Massachusetts Institute of Technology. June 2002. Available online: ps pdf. Bibtex citation.
• Rishiyur S. Nikhil, Arvind, James Hicks11, Shail Aditya, Lennart Augustsson, Jan-Willem Maessen, Yuli Zhou. "pH Language Reference Manual, Version 1.0 (preliminary)". Massachusetts Institute of Technology. CSG Memo #369. Available online: ps. Bibtex citation.
• Alejandro Caro. "Generating Multithreaded Code from Parallel Haskell for Symmetric Multiprocessors". PhD. Thesis. MIT. January 1999. Bibtex citation.
• Arvind, Alejandro Caro, Jan-Willem Maessen, and Shail Aditya. "A Multithreaded Substrate and Compilation Model for the Implicitly Parallel Language pH". Workshop on Languages and Compilers for Parallel Computing (LCPC). August 1996. Available online: pdf. Bibtex citation.
• Shail Aditya, Arvind, Jan-Willem Maessen, and Lennart Augustsson. "Semantics of pH: A parallel dialect of Haskell". MIT. Computation Structures Group Memo 377-1. June 1995. Available online: ps pdf. Bibtex citation.
• Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, and Joseph E. Stoy. "LambdaS: An implicitly parallel lambda-calculus with recursive bindings, synchronization and side-effects". Workshop on High-Level Concurrent Languages (1998). September 1998. Available online: ps. Bibtex citation.
• Jan-Willem Maessen. "Eliminating Intermediate Lists in pH using Local Transformations". Masters Thesis. MIT. May 1994. Available online: ps. Bibtex citation.
• Ulf Norell. "Functional Generic Programming and Type Theory". Masters Thesis. Chalmers University. 2002. Available online: ps. Bibtex citation.
• Patrik Jansson and Johan Jeuring. "Polytypic Data Conversion Programs". Science of Computer Programming. 43. 1. Available online: ps. Bibtex citation.
• Chris Okasaki. "An Overview of Edison". Haskell Workshop 2000. September 2000. Available online: ps. Bibtex citation.
• Doaitse Swierstra. "Combinator Parsers: From Toys to Tools". Haskell Workshop 2000. September 2000. Available online: ps. Bibtex citation.
• Paul Alexander Blampied. "Structured recursion for non-uniform data-types". PhD. Thesis. University of Nottingham. March 2000. Available online: pdf. Bibtex citation.
• Anthony Charles Daniels. "A semantics for functions and behaviours". PhD. Thesis. University of Nottingham. December 1999. Available online: pdf. Bibtex citation.
• Victor M. Gulias, José L. Freire. "Concurrent Programming in Haskell". 1996. Available online: ps. Bibtex citation.
• Silvija Seres. "The Algebra of Logic Programming". PhD. Thesis. University of Oxford. 2001. Available online: ps. Bibtex citation.
• Silvija Seres and S-C Mu. "Optimisation problems in logic programming: an algebraic approach". LPSE'00. July 2000. Available online: ps. Bibtex citation.
• Silvija Seres, Michael J. Spivey. "Higher-order transformation of logic programs". LOPSTR'00. July 2000. Available online: ps. Bibtex citation.
• Silvija Seres, Michael J. Spivey, C.A.R. Hoare. "Algebra of Logic Programming". ICLP'99. November 1999. Available online: ps. Bibtex citation.
• Michael J. Spivey and Silvija Seres. "The Algebra of Searching". Symposium in honour of work of C.A.R. Hoare. September 1999. Available online: ps. Bibtex citation.
• Silvija Seres and Michael J. Spivey. "Embedding Prolog into Haskell". Haskell Workshop'99. September 1999. Available online: ps. Bibtex citation.
• Silvija Seres and Michael J. Spivey. "Functional Reading of Logic Programs". BCTCS'99. April 1999. Available online: ps. Bibtex citation.
• Silvija Seres. "Unifying Functional and Logic Programming". Oxford University. Transfer Thesis. September 1998. Available online: ps. Bibtex citation.
• Henrik Nilsson and John Peterson and Paul Hudak. "Functional Hybrid Modeling". Proceedings of {PADL'03}: 5th International Workshop on Practical Aspects of Declarative Languages. January 2003. Available online: ps. Bibtex citation.
• John Peterson. "A Language for Mathematical Visualization". Proceedings of {FPDE'02}: Functional and Declarative Languages in Education. October 2002. Available online: ps. Bibtex citation.
• Izzet Pembeci and Henrik Nilsson and Greogory Hager. "Functional Reactive Robotics: An Exercise in Principled Integration of Domain-Specific Languages". Principles and Practice of Declarative Programming (PPDP'02). October 2002. Available online: ps. Bibtex citation.
• John Peterson and Paul Hudak. "Using Music to Teach Computation and Mathematics in Secondary Education". Functional and Declarative Languages in Education. September 2002. Available online: ps. Bibtex citation.
• André Santos and Bruno Abdon Monteiro. "A Persistence Library for Haskell". SBLP'2001 - V Simpósio Brasileiro de Linguagens de Programação. May 2001. Available online: ps. Bibtex citation.
• André Santos. "Embedding a Firewall programming language into Haskell". SBLP'99 - III Simpósio Brasileiro de Linguagens de Programação. May 1999. Available online: ps. Bibtex citation.
• Genésio Neto and André Santos. "An Interval Library for Haskell". Third International Summer School on Advanced Functional Programming. September 1998. Bibtex citation.
• Robert Ennals and Simon Peyton Jones. "Optimistic Evaluation: a fast evaluation strategy for non-strict programs". PLDI 2003. November 2003. Available online: ps. Bibtex citation.
• Ralf Laemmel and Simon Peyton Jones. "Scrap your boilerplate: a practical approach to generic programming". TLDI 2003. July 2002. 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.
• James Cheney and Ralf Hinze. "Phantom types". 2002. Available online: ps pdf. Bibtex citation.
• Ralf Hinze. "Bootstrapping One-sided Flexible Arrays". 2002 International Conference on Functional Programming. October 2002. Available online: ps pdf. Bibtex citation.
• Koen Claessen and Colin Runciman. "Testing and Tracing Lazy Functional Programs". Summer School and Workshop on Advanced Functional Programming. August 2002. Available online: ps. Bibtex citation.
• Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. "Robots, Arrows and Functional Reactive Programming". Summer School and Workshop on Advanced Functional Programming. August 2002. Available online: pdf. Bibtex citation.
• Ian M. Bayley. "Generic Operations on Nested Datatypes". PhD. Thesis. Oxford University. May 2002. Available online: pdf. Bibtex citation.
• Frank Huch. "Erlang-Style Distributed Haskell". Implementation of Functional Languages (IFL'99). September 1999. Available online: ps. Bibtex citation.
• Frank Huch, Ulrich Norbisrath. "Distributed Programming in Haskell with Ports". Implementation of Functional Languages (IFL 2000). September 2000. Available online: ps. Bibtex citation.
• Björn Lisper, Johan Malmström. "Haxcel: A Spreadsheet Interface to Haskell". Implementation of Functional Languages (IFL 2002). 2002. Available online: ps pdf. Bibtex citation.
• Jonas Holmerin, Björn Lisper. "Development of Parallel Algorithms in Data Field Haskell". Euro-Par 2000. 2000. Available online: ps. Bibtex citation.
• Björn Lisper, Jonas Holmerin. "Development and Verification of Parallel Algorithms in the Data Field Model". 2nd Int. Workshop on Constructive Methods for Parallel Programming. 2000. Available online: ps. Bibtex citation.
• Björn Lisper, Per Hammarlund. "The Data Field Model". MRTC. 2001. 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.
• Jonas Holmerin, Björn Lisper. "Data Field Haskell". Haskell Workshop (HW 2000). 2000. Available online: ps. Bibtex citation.
• Jerzy Karczmarczuk. "Functional Low-level Interpreters". Functional and Declarative Programming in Education (FDPE 2002). October 2002. Available online: ps. Bibtex citation.
• Christoph Lüth. "Haskell in Space". Functional and Declarative Programming in Education (FDPE 2002). October 2002. Available online: ps. Bibtex citation.
• João Saraiva. "HaLex: A Haskell Library to Model, Manipulate and Animate Regular Languages". Functional and Declarative Programming in Education (FDPE 2002). October 2002. Available online: ps. Bibtex citation.
• Koen Claessen and Gordon J. Pace. "An Embedded Language Approach to Teaching Hardware Compilation". Functional and Declarative Programming in Education (FDPE 2002). October 2002. Available online: ps. Bibtex citation.
• Ralf Hinze. "Prological features in a functional setting - axioms and implementations". Third Fuji International Symposium on Functional and Logic Programming (FLOPS'98). April 1998. Available online: ps. Bibtex citation.
• Ralf Hinze. "Prolog's control constructs in a functional setting - Axioms and implementation". International Journal of Foundations of Computer Science. 12(2). 2001. Available online: ps. Bibtex citation.

November 9, 2002

• Ralf Lämmel and Joost Visser. "Typed Combinators for Generic Traversal". Proc. Practical Aspects of Declarative Programming PADL 2002. LNCS 2257. January 2002. Available online: ps pdf. Bibtex citation.
• Ralf Lämmel and Joost Visser. "Typed Combinators for Generic Traversal". CWI. August 2001. Available online: ps pdf. Bibtex citation.
• Ralf Lämmel and Joost Visser. "A Strafunski Application Letter". Proc. of PADL'03. January 2003. Available online: ps pdf. Bibtex citation.
• Ralf Lämmel and Joost Visser. "Design Patterns for Functional Strategic Programming". Third ACM SIGPLAN Workshop on Rule-Based Programming RULE'02. October 2002. Available online: ps pdf. Bibtex citation.
• Ralf Lämmel. "The Sketch of a Polymorphic Symphony". International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002). 2002. Available online: ps pdf. Bibtex citation.
• Ralf Lämmel and Joost Visser. "Strategic polymorphism requires just two combinators!". Preproceedings of IFL 2002, Implementation of Functional Languages. September 2002. Available online: ps pdf. Bibtex citation.
• Ralf Lämmel and Eelco Visser and Joost Visser. "The Essence of Strategic Programming". October 2002. Available online: ps pdf. Bibtex citation.
• Ralf Lämmel and Joost Visser. "Type-safe Functional Strategies". Proceedings of SFP'00. July 2000. Available online: ps pdf. Bibtex citation.
• Ralf Lämmel and Joost Visser and Jan Kort. "Dealing with Large Bananas". Proceedings of WGP'2000. July 2000. Available online: ps pdf. Bibtex citation.
• Jan Kort and Ralf Lämmel and Joost Visser. "Functional Transformation Systems". 9th International Workshop on Functional and Logic Programming. July 2000. Available online: ps pdf. Bibtex citation.
• Jan Kort and Ralf Lämmel. "A Framework for Datatype Transformation". arXiv. cs.PL/0204018. April 2002. Available online: ps pdf. Bibtex citation.
• Ralf Lämmel. "Towards Generic Refactoring". Workshop on Rule-Based Programming RULE'02. October 2002. Available online: ps pdf. Bibtex citation.

October 6, 2002

• Ralf Hinze and Johan Jeuring. "Generic Haskell: Practice and Theory". Summer School on Generic Programming. 2002. Available online: pdf. Bibtex citation.
• Ralf Hinze and Johan Jeuring. "Generic Haskell: Applications". Summer School on Generic Programming. 2002. Available online: pdf. Bibtex citation.
• Johan Jeuring and Paul Hagg. "Generic Programming for XML Tools". Utrecht University. Technical report UU-CS-2002-023. 2002. Available online: pdf. Bibtex citation.
• Dave Clarke and Andres Löh. "Generic Haskell, Specifically". WCGP 2002. 2002. Available online: pdf. Bibtex citation.
• François-Régis Sinot. "Polytypic Programming and Dependent Types (Project report)". Chalmers University. 2001. Available online: ps. Bibtex citation.
• Jun Yang. "Granularity in Large-Scale Parallel Functional Programming". PhD. Thesis. Heriot-Watt University. October 2001. Available online: ps. Bibtex citation.
• P.W. Trinder. "Motivation for Glasgow distributed Haskell, a non-strict Functional Language". PDSIA'99, Parallel and Distributed Computing for Symbolic and Irregular Applications. July 1999. Available online: ps. Bibtex citation.
• R.F. Pointon. "Review of GdH: August 1999 - February 2000 (Internal report)". February 2000. Available online: ps. Bibtex citation.
• R.F. Pointon, P.W. Trinder, and H-W. Loidl. "The Design and Implementation of GdH". SFP'00, Scottish Functional Programming Workshop. July 2000. Available online: ps. Bibtex citation.
• H-W. Loidl, P.W. Trinder, and R.F. Pointon. "Runtime System Level Fault Tolerance for a Distributed Functional Language". SFP'00, Scottish Functional Programming Workshop. July 2000. Available online: ps. Bibtex citation.
• R.F. Pointon, P.W. Trinder, and H-W. Loidl. "The Design and Implementation of Glasgow Distributed Haskell". IFL'00, Implementation of Functional Languages. September 2000. Available online: ps. Bibtex citation.
• R.F. Pointon, S. Priebe, H-W. Loidl, R.Loogen, and P.W. Trinder. "Functional vs Object-Oriented Distributed Languages". Eurocast'01, International Conference on Computer Aided Systems Theory. February 2001. Bibtex citation.
• P.W. Trinder, R.F. Pointon, H-W. Loidl. "Functional Distributed Interactive Systems (Project final report)". July 2001. Available online: ps. Bibtex citation.

April 29, 2002

• Simon Peyton Jones and Mark Shields. "Lexically scoped type variables". March 2002. Available online: ps. Bibtex citation.
• Jan de Wit. "A technical overview of Generic Haskell". Masters Thesis. INF-SCR-02-03. 2002. Available online: pdf. Bibtex citation.
• Ralf Hinze, Johan Jeuring, Andres Löh. "Type-indexed data types". Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002). July 2002. Available online: ps pdf. Bibtex citation.
• Ralf Hinze. "Constructing tournament representations: An exercise in pointwise relational programming". Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002). July 2002. Available online: ps pdf. Bibtex citation.
• Jörgen Gustavsson. "Space-Safe Transformations and Usage Analysis for Call-by-Need Languages". PhD. Thesis. May 2001. Available online: ps. Bibtex citation.
• Jörgen Gustavsson and David Sands. "Possibilities and Limitations of Call-by-Need Space Improvement". Proceedings of the International Conference on Functional Programming. September 2001. Available online: ps. Bibtex citation.
• Jörgen Gustavsson and Josef Svenningsson. "Constraint Abstractions". Proceedings of Symposium on Programs as Data Objects II. volume 2053 of Lecture Notes in Computer Science. May 2001. Available online: ps. Bibtex citation.
• Jörgen Gustavsson and Josef Svenningsson. "A Usage Analysis with Bounded Polymorphism and Subtyping". Proceedings of Workshop on Implementation of Functional Languages. volume 2011 of Lecture Notes in Computer Science. September 2000. Available online: ps. Bibtex citation.
• Jörgen Gustavsson and David Sands. "A Foundation for Space-Safe Transformations of Call-by-Need Programs". Proceedings of Workshop on Higher Order Operational Techniques in Semantics. volume 26 of Electronic Notes in Theoretical Computer Science. September 1999. Available online: ps. Bibtex citation.
• Jörgen Gustavsson. "A Type Based Sharing Analysis for Update Avoidance and Optimisation". Masters Thesis. May 1999. Available online: ps. Bibtex citation.
• Jörgen Gustavsson. "A Type Based Sharing Analysis for Update Avoidance and Optimisation". Proceedings of the International Conference on Functional Programming. September 1998. Available online: ps. Bibtex citation.

February 27, 2002

• Daan Leijen. "Functional Components, COM components in Haskell". Masters Thesis. University of Amsterdam. June 1998. Available online: ps. Bibtex citation.
• Urban Boquist. "Code Optimisation Techniques for Lazy Functional Languages". PhD. Thesis. Chalmers University of Technology. April 1999. Available online: ps code. Bibtex citation.
• Urban Boquist. "Interprocedural Register Allocation for Lazy Functional Languages". Masters Thesis. Chalmers University of Technology. Available online: ps. Bibtex citation.
• Urban Boquist. "Interprocedural Register Allocation for Lazy Functional Languages". Proceedings of the 1995 Conference on Functional Programming Languages and Computer Architecture. June 1995. Available online: ps. Bibtex citation.
• Urban Boquist and Thomas Johnsson. "The GRIN Project: A Highly Optimising Back End For Lazy Functional Languages". 8th International Workshop on Implementation of Functional Languages. LNCS 1268. September 1996. 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.
• Koen Claessen, Mary Sheeran. "A Lava Tutorial". April 2000. Available online: ps. Bibtex citation.
• Koen Claessen. "An Embedded Language Approach to Hardware Description and Verification". Masters Thesis. September 2000. Available online: ps. Bibtex citation.
• Per Bjesse. "Automatic Verification of Combinational and Pipelined FFT Circuits". CAV. 1999. Available online: ps. Bibtex citation.
• Lennart Augustsson. "Cayenne: a language with dependent types". Chalmers University ofTechnology. 1999. Available online: ps. Bibtex citation.
• Lennart Augustsson, Magnus Carlsson. "An exercise in dependent types: A well-typed interpreter". Chalmers University ofTechnology. 1999. Available online: ps. Bibtex citation.
• Lennart Augustsson. "Equality proofs in Cayenne". Chalmers University of Technology. 1999. Available online: ps. Bibtex citation.

February 4, 2002

• John Hughes. "Functional Pearls: Global Variables in Haskell". January 2002. Available online: ps. Bibtex citation.
• Guy L. Steele, Jr.. "Building Interpreters by Composing Monads". Principles of Programming Languages (POPL'94). January 1994. Available online: ps. Bibtex citation.