Publications

• Optimizing Lazy Functional Programs Using Flow-Inference
  There are two versions of this paper.
  • The earlier of the two appeared in the proceedings of the Workshop on Types for Program Analysis (TPA-95) in Aarhus, Denmark.
    Here is the abstract, or the full paper in DVI, Postscript, or compressed Postscript format.
    
  • The later appeared in the proceedings of the Second International Symposium on Static Analysis (SAS-95), Glasgow UK. The proceedings are published by Springer as LNCS 983.
    Here is the paper in DVI, Postscript, or compressed Postscript format.
    
  
  
• Flow Inference, Code Generation, and Garbage Collection for Lazy Functional Languages
  This is my licentiate thesis, which is almost a megabyte of Postscript or about a third of that if you choose the compressed Postscript version. You can also read the abstract.
  
  
• Polyvariance, Polymorphism, and Flow Analysis
  This is a paper I had in the 5th LOMAPS Workshop in Stockholm, Sweden, June 1996. The proceedings are published as LNCS 1192.
  Here is the paper in Postscript, or compressed Postscript format. You can also read the abstract.
  
  
• Analysing, Transforming and Compiling Lazy Functional Programs
  This is my PhD-thesis, which I succesfully defended on the 19th of June 1997. It is almost 1.4M of Postscript or about 400K of compressed Postscript. You can also read the abstract.
  
  
• Representation Analysis for Coercion Placement
  There are two versions of this paper:
  • This is the original version I presented at the Implementation of Declarative Languages workshop, September 1999. The proceedings were never published. Here is the abstract, or the full paper in DVI, Postscript or compressed Postscript format.
  • This is a reworked, improved and compressed version which I presented at the Ninth International Symposium on Static Analysis (SAS-2002), Madrid, Spain. The proceedings are published by Springer as LNCS 2477. Here is the paper in DVI, or compressed Postscript format.
  
  
  
• The Costs and Benefits of Cloning in a Lazy Functional Language
  This is a paper I presented at the Scottish Functional Programming Workshop in St Andrews in July 2000. The proceedings are published by Intellect during 2001 under the title Trends in Functional Programming, Volume 2. Here is the abstract, or the full paper in DVI, Postscript or compressed Postscript format.
  
  
• Cheap Eagerness: Speculative Evaluation in a Lazy Functional Language
  This paper was presented at ICFP 2000 in Montréal, Canada, in September 2000. The copyright belongs to ACM and it is provided here only as a convenience. Here is the abstract, or the full paper in DVI, or compressed Postscript format.
  
  
• Dynamic Cheap Eagerness
  This paper was presented at the Implementation of Functional Languages workshop in Stockholm in September 2001 and is contained in the proceedings that were published by Springer during 2002. Here is the abstract, or an extended version of the full paper, in DVI or compressed Postscript format.
  
  
• A Static Semantics for Haskell
  This paper is published in the Journal of Functional Programming special issue on Haskell (volume 12, no 4-5) in 2002. Here is the abstract, or the full paper in DVI and compressed Postscript format.
  
  
• Haskell and Principal Types
  This paper was presented at the Haskell Workshop in Uppsala on August 28, 2003 and is included in the proceedings published by ACM Press. It is available here in Postscript and PDF.

Unpublished stuff

• Back End Issues for Modern Microprocessors: the Sate of the Art
  This is a report I wrote for a reading course back when I was a PhD student. I make it available here to satisfy popular demand :-). You can have it in DVI, Postscript, or compressed Postscript format.