Difference between revisions of "Research papers/Program development"

From HaskellWiki
Jump to: navigation, search
(+parser combinator papers)
(Updated dead links)
 
(18 intermediate revisions by 6 users not shown)
Line 3: Line 3:
 
==Program derivation==
 
==Program derivation==
  
;[http://www.informatik.uni-bonn.de/~ralf/publications/MPC2004.pdf An algebra of scans]
+
;[http://www.cs.ox.ac.uk/ralf.hinze/publications/MPC04.pdf An algebra of scans]
 
:Ralf Hinze. In Dexter Kozen, editor, Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, July 12-14, 2004.
 
:Ralf Hinze. In Dexter Kozen, editor, Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, July 12-14, 2004.
  
;[http://www.informatik.uni-bonn.de/~ralf/publications/MPC02.ps.gz Constructing tournament representations: An exercise in pointwise relational programming]
+
;[http://www.cs.ox.ac.uk/ralf.hinze/publications/MPC02b.ps.gz Constructing tournament representations: An exercise in pointwise relational programming]
 
:Ralf Hinze. In Eerke Boiten, Bernhard Mller, editors, Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002.  Lecture Notes in Computer Science 2386, pp. 131-147.
 
:Ralf Hinze. In Eerke Boiten, Bernhard Mller, editors, Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002.  Lecture Notes in Computer Science 2386, pp. 131-147.
  
Line 14: Line 14:
 
:Krasimir Angelov, Simon Marlow. Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 5--16, Tallinn, Estonia, ACM Press, September 2005
 
:Krasimir Angelov, Simon Marlow. Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 5--16, Tallinn, Estonia, ACM Press, September 2005
  
;[http://www.cse.unsw.edu.au/~dons/papers/SC05.html Dynamic Applications From the Ground Up]
+
;[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.1406 Dynamic Applications From the Ground Up]
 
:Don Stewart and Manuel M. T. Chakravarty. In Proceedings of the ACM SIGPLAN Workshop on Haskell, pages 27-38. ACM Press, 2005.
 
:Don Stewart and Manuel M. T. Chakravarty. In Proceedings of the ACM SIGPLAN Workshop on Haskell, pages 27-38. ACM Press, 2005.
  
Line 22: Line 22:
 
:Simon Marlow. Proceedings of the ACM SIGPLAN workshop on Haskell, Pittsburgh Pennsylvania, USA, ACM Press, October 2002
 
:Simon Marlow. Proceedings of the ACM SIGPLAN workshop on Haskell, Pittsburgh Pennsylvania, USA, ACM Press, October 2002
  
==Lexers==
+
==Refactoring==
 +
 
 +
;[http://www.cs.kent.ac.uk/pubs/2001/1334/index.html Refactoring Functional Programs]
 +
:Simon Thompson and Claus Reinke. Technical Report 16-01, Computing Laboratory, University of Kent at Canterbury, October 2001.
 +
 
 +
;[http://www.cs.kent.ac.uk/pubs/2003/1676/index.html A case study in refactoring functional programs]
 +
:Simon Thompson and Claus Reinke. In Roberto Ierusalimschy, Lucilia Figueiredo, and Marcio Tulio Valente, editors, VII Brazilian Symposium on Programming Languages, pages 1-16. Sociedade Brasileira de Computacao, May 2003. 
 +
 
 +
;[http://www.cs.kent.ac.uk/pubs/2003/1677/index.html Tool support for refactoring functional programs]
 +
:Huiqing Li, Claus Reinke, and Simon Thompson.  In Johan Jeuring, editor, ACM SIGPLAN 2003 Haskell Workshop. Association for Computing Machinery, August 2003. ISBN 1-58113-758-3.
 +
 
 +
;[http://www.cs.kent.ac.uk/pubs/2004/2018/index.html Progress on HaRe: the Haskell Refactorer]
 +
:Huiqing Li, Claus Reinke, and Simon Thompson. Poster presentation at the International Conference on Functional Programming, Snowbird, Utah. ACM, September 2004.
 +
 
 +
;[http://www.cs.kent.ac.uk/pubs/2004/2021/index.html Transformation in HaRe]
 +
:Chau Nguyen-Viet. Technical report, Computing Laboratory, University of Kent, Canterbury, Kent, UK, December 2004.
 +
 
 +
;[http://www.cs.kent.ac.uk/pubs/2005/2158/index.html The Haskell Refactorer: HaRe, and its API]
 +
:Huiqing Li, Simon Thompson, and Claus Reinke. In John Boyland and Görel Hedin, editors, Proceedings of the 5th workshop on Language Descriptions, Tools and Applications (LDTA 2005), April 2005.
 +
 
 +
;[http://www.cs.kent.ac.uk/pubs/2005/2252/index.html Refactoring Functional Programs]
 +
:Simon Thompson. In Varmo Vene and Tarmo Uustalu, editors, Advanced Functional Programming, 5th International School, AFP 2004, volume 3622 of Lecture Notes in Computer Science, pages 331-357. Springer Verlag, September 2005. 
 +
 
 +
;[http://www.cs.kent.ac.uk/pubs/2005/2266/index.html Porting HaRe to the GHC API]
 +
:Chris Ryder and Simon Thompson. Technical Report 8-05, Computing Laboratory, University of Kent, Canterbury, Kent, UK, October 2005.
 +
 
 +
;[http://www.cs.kent.ac.uk/pubs/2005/2250/index.html Formalisation of Haskell Refactorings]
 +
:Huiqing Li and Simon Thompson. In Marko van Eekelen and Kevin Hammond, editors, Trends in Functional Programming, September 2005.
 +
 
 +
==Software metrics==
 +
 
 +
;[http://www.cs.kent.ac.uk/pubs/2005/2249/index.html Software Metrics: Measuring Haskell]
 +
:Chris Ryder and Simon Thompson. In Marko van Eekelen and Kevin Hammond, editors, Trends in Functional Programming, September 2005.
 +
 
 +
==Lexers and regular expressions==
  
 
;[http://www.cse.unsw.edu.au/~chak/papers/Cha99.html Lazy Lexing is Fast]
 
;[http://www.cse.unsw.edu.au/~chak/papers/Cha99.html Lazy Lexing is Fast]
 
:Manuel M. T. Chakravarty. In A. Middeldorp and T. Sato, editors, Fourth Fuji International Symposium on Functional and Logic Programming, Springer-Verlag, LNCS 1722, pages 68-84, 1999.
 
:Manuel M. T. Chakravarty. In A. Middeldorp and T. Sato, editors, Fourth Fuji International Symposium on Functional and Logic Programming, Springer-Verlag, LNCS 1722, pages 68-84, 1999.
 +
 +
;[http://www.cs.kent.ac.uk/pubs/2000/958/index.html Regular Expressions and Automata using Haskell]
 +
:Simon Thompson. Technical Report 5-00, Computing Laboratory, University of Kent, January 2000.
  
 
==Parsers==
 
==Parsers==
  
;[http://www.cs.uu.nl/~daan/download/papers/parsec-paper.pdf Parsec: Direct Style Monadic Parser Combinators for the Real World]
+
;[http://legacy.cs.uu.nl/daan/download/papers/parsec-paper.pdf Parsec: Direct Style Monadic Parser Combinators for the Real World]
 
:Daan Leijen and Erik Meijer. Technical Report UU-CS-2001-35, Departement of Computer Science, Universiteit Utrecht, 2001.
 
:Daan Leijen and Erik Meijer. Technical Report UU-CS-2001-35, Departement of Computer Science, Universiteit Utrecht, 2001.
  
;[http://www.cs.nott.ac.uk/Department/Staff/gmh/bib.html#monparsing Monadic Parser Combinators]  
+
;[http://www.cs.nott.ac.uk/~gmh/bib.html#monparsing Monadic Parser Combinators]  
:Graham Huttonandi and Erik Meijer, Technical report NOTTCS-TR-96-4, Department of Computer Science, University of Nottingham, 1996. A condensed version of this report will appear as a functional pearl in JFP.
+
:Graham Hutton and and Erik Meijer, Technical report NOTTCS-TR-96-4, Department of Computer Science, University of Nottingham, 1996. A condensed version of this report will appear as a functional pearl in JFP.
  
 
;How to Replace Failure by a List of Successes
 
;How to Replace Failure by a List of Successes
 
:Philip Wadler, Functional Programming Languages and Computer Architecture, LNCS 201, 1985.
 
:Philip Wadler, Functional Programming Languages and Computer Architecture, LNCS 201, 1985.
  
;[http://www.st.cs.uni-sb.de/edu/seminare/2005/advanced-fp/docs/hutton-parsing.pdf Higher-order functions for parsing]i
+
;[http://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced-fp/docs/hutton-parsing.pdf Higher-order functions for parsing]
 
:Graham Hutton, J. Functional Programming 2(3):323-343, 1992.
 
:Graham Hutton, J. Functional Programming 2(3):323-343, 1992.
  
;[http://www.cs.nott.ac.uk/Department/Staff/gmh/bib.html#monparsing Monadic Parser Combinators]  
+
;[http://eprints.nottingham.ac.uk/archive/00000237/01/monparsing.pdf Monadic Parser Combinators]  
 
:Graham Hutton and Erik Meijer, Technical report NOTTCS-TR-96-4, Department of Computer Science, University of Nottingham, 1996.
 
:Graham Hutton and Erik Meijer, Technical report NOTTCS-TR-96-4, Department of Computer Science, University of Nottingham, 1996.
  
;[http://www.computingscience.nl/people/jeroen/article/parsers/parsers.ps.gz Functional Parsers]
+
;[http://people.cs.uu.nl/jeroen/article/parsers/parsers.ps.gz Functional Parsers]
 
:Jeroen Fokker, First International Spring School on Advanced Functional Programming Techniques, LNCS 925, 1995.
 
:Jeroen Fokker, First International Spring School on Advanced Functional Programming Techniques, LNCS 925, 1995.
  
;[http://www.dcs.gla.ac.uk/jfp/bibliography/References/partridgew1996:355.html Predictive parser combinators need four values to report errors]
+
;[http://journals.cambridge.org/action/displayJournal?jid=JFP Predictive parser combinators need four values to report errors]
 
:Andrew Partridge and David Wright, J. Functional Programming 6(2): 355-364, 1996.
 
:Andrew Partridge and David Wright, J. Functional Programming 6(2): 355-364, 1996.
  
;[http://www.dcs.gla.ac.uk/jfp/bibliography/References/hill1996:445.html Combinators for parsing expressions]
+
;[http://journals.cambridge.org/action/displayJournal?jid=JFP Combinators for parsing expressions]
 
:Steve Hill], J. Functional Programming 6(3):445-463, May 1996.
 
:Steve Hill], J. Functional Programming 6(3):445-463, May 1996.
  
;[http://www.cse.ogi.edu/PacSoft/summerschool96.html#Parsers Deterministic, Error-Correcting Combinator Parsers]
+
;[http://www.staff.science.uu.nl/~swier101/Papers/1996/LL1.pdf Deterministic, Error-Correcting Combinator Parsers]
 
:Doaitse Swierstra and Luc Duponcheel, Second International Summer School on Advanced Functional Programming Techniques, LNCS 1126, 1996.
 
:Doaitse Swierstra and Luc Duponcheel, Second International Summer School on Advanced Functional Programming Techniques, LNCS 1126, 1996.
 +
 +
;[http://www.staff.science.uu.nl/~swier101/Papers/2000/HaskellWorkshop.pdf Combinator Parsers: From Toys to Tools]
 +
:D. Swierstra. Combinator Parsers: From Toys to Tools. In G. Hutton, editor, Electronic Notes in Theoretical Computer Science, volume 41. Elsevier Science Publishers, 2001.
 +
 +
;[http://www.staff.science.uu.nl/~swier101/Papers/1999/SofSem99.pdf Fast, Error Correcting Parser Combinators: a Short Tutorial]
 +
:S. D. Swierstra and P. R. Azero Alcocer. In J. Pavelka, G. Tel, and M. Bartosek, editors, SOFSEM'99 Theory and Practice of Informatics, 26th Seminar on Current Trends in Theory and Practice of Informatics, volume 1725 of LNCS, pages 111--129, November 1999.
  
 
==Pretty printing==
 
==Pretty printing==
  
;[http://www.cs.chalmers.se/~rjmh/Papers/pretty.ps The Design of a Pretty-printing Library]
+
;[http://www.cs.tufts.edu/~nr/comp150fp/archive/john-hughes/pretty.ps.gz The Design of a Pretty-printing Library]
 
:John Hughes. Advanced Functional Programming 1995. 53-96
 
:John Hughes. Advanced Functional Programming 1995. 53-96
  
Line 64: Line 107:
 
:Philip Wadler. The Fun of Programming. A symposium in honour of Professor Richard Bird's 60th birthday Examination Schools, Oxford, 24-25 March 2003.
 
:Philip Wadler. The Fun of Programming. A symposium in honour of Professor Richard Bird's 60th birthday Examination Schools, Oxford, 24-25 March 2003.
  
==Functional reactive programming==
+
;[http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-025a.pdf Linear, Online, Functional Pretty Printing]
 +
:S. D. Swierstra. UU-CS 2004-025a, 2004.
 +
 
 +
;[http://www.cs.uu.nl/groups/ST/Software/PP/pabloicfp.ps Optimal Pretty-Printing Combinators]
 +
:P. Azero and S. D. Swierstra.
 +
 
 +
;[http://www.cs.kent.ac.uk/pubs/2006/2381/index.html Pretty printing with delimited continuations]
 +
:Olaf Chitil. Technical report 4-06, Computing Laboratory, University of Kent, June 2006.
 +
 
 +
==User Interfaces==
  
;[http://cs-www.cs.yale.edu/homes/nilsson/Publications/hw2003.pdf The Yampa Arcade]
+
;[http://theses.gla.ac.uk/1597/ Composing graphical user interfaces in a purely functional language]
:Antony Courtney and Henrik Nilsson and John Peterson. In Proceedings of the 2003 ACM SIGPLAN Haskell Workshop (Haskell'03), pages 7 - 18, Uppsala, Sweden, August 2003. ACM Press.
+
:Sigbjorn Finne. PhD Thesis, Department of Computing Science, University of Glasgow, June 1998.
  
;[http://cs-www.cs.yale.edu/homes/nilsson/Publications/icfp2003.pdf Functional Automatic Differentiation with Dirac Impulses]
+
;[http://research.microsoft.com/pubs/67057/composing-haggis.ps.gz Composing the User Interface with Haggis]
:Henrik Nilsson. In Proceedings of the Eight ACM SIGPLAN International Conference on Functional Programming, pages 159 - 187, Uppsala, Sweden, August 2003. ACM Press.
+
:Sigbjorn Finne and Simon Peyton Jones Proceedings of the Second International School on Advanced Functional Programming, Olympia, WA, USA, August 26-30, 1996. LNCS 1129.
  
;[http://cs-www.cs.yale.edu/homes/nilsson/Publications/afp2002.pdf Arrows, robots, and functional reactive programming]
+
;[http://thesoftwareinyourhead.com/papers/genuinely-functional-guis.pdf Genuinely Functional User Interfaces]
:Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. In Summer Shcool on Advanced Functional Programming 2002, Oxford University, volume 2638 of Lecture Notes in Computer Science, pages 159 - 187, 2003. Springer-Verlag.
+
:Antony Courtney and Conal Elliott. In Proceedings of the Haskell Workshop, September, 2001.
  
;[http://cs-www.cs.yale.edu/homes/nilsson/Publications/ppdp2002.pdf System presentation - Functional reactive robotics: an excercise in principled integration of domain-specific languages]
+
;[http://legacy.cs.uu.nl/daan/download/papers/wxhaskell.pdf wxHaskell: A portable and concise GUI library for Haskell]
:Izzet Pembeci, Henrik Nilsson, and Gregory Hager. In Principles and Practice of Declarative Programming (PPDP'02), pages 168 - 179, Pittsburgh, Pennsylvania, USA, October 2002.
+
:Daan Leijen. The ACM SIGPLAN Haskell workshop, Snowbird, Utah, September 22, 2004.
  
;[http://conal.net/papers/icfp97/ Functional Reactive Animation]  
+
==Operating systems==
:Conal Elliott and Paul Hudak. In the proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97).
+
(see also main page of the topic: [[Libraries and tools/Operating system|operating systems and system programming]])
  
;[http://conal.net/papers/padl99/ From Functional Animation to Sprite-Based Display]
+
;[http://www.cse.unsw.edu.au/~kleing/papers/hotos07.html Towards a Practical, Verified Kernel]
:Conal Elliott, In the Proceedings of PADL '99.
+
:Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, and Gernot Heiser . 2007
  
;[http://research.microsoft.com/scripts/pubDB/pubsasp.asp?RecordID=187 A "Fifteen Puzzle" in Fran]
+
;[http://www.cse.unsw.edu.au/~chak/papers/DEKC+06.html Reconciling High Performance and High Assurance in Microkernel Development]
:Conal Elliott. October, 1998.
+
:Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, and Manuel M. T. Chakravarty. 2006
  
;[http://research.microsoft.com/scripts/pubDB/pubsasp.asp?RecordID=191 Two-handed Image Navigation in Fran]
+
;[http://web.cecs.pdx.edu/~apt/icfp05.pdf A Principled Approach to Operating System Construction in Haskell]
:Conal Elliott. 1998 Glasgow Functional Programming Workshop.
+
:Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach, ICFP 2005
  
;[http://conal.net/papers/plilpalp98/ Functional Implementations of Continuous Modeled Animation]
+
;[http://www.cse.unsw.edu.au/~kleing/papers/kolanski-klein-05.html Formalising the L4 microkernel API]
:Conal Elliott. In the Proceedings of PLILP/ALP '98.
+
:Rafal Kolanski and Gerwin Klein , 2006.
  
===Robots===
+
;[http://www.doclsf.de/papers/vstte06.html Formalising a High-Performance Microkernel  written in Haskell, using Isabelle/HOL]
 +
:Kevin Elphinstone, Gerwin Klein and Rafal Kolanski, 2006
  
;[http://haskell.org/frob/padl99/padl99.ps Lambda in Motion: Controlling Robots With Haskell]
+
;[http://www.disy.cse.unsw.edu.au/theses_public/05/philipd.pdf A Secure Microkernel]
:John Peterson, Paul Hudak, and Conal Elliott In the proceedings of PADL '99.
+
:Philip Derrin, BSc (Hons) Thesis, University of NSW, 2005.
  
==Graphics==
+
:
  
;[http://conal.net/papers/Vertigo/ Programming Graphics Processors Functionally]
+
==Audio==
:Conal Elliott. Proceedings of the 2004 Haskell Workshop.
 
  
==User Interfaces==
+
;[http://dafx04.na.infn.it/WebProc/Proc/P_201.pdf Audio Processing using Haskell]
 +
:Henning Thielemann, Digital Audio Effects, DAF'04, Naples
 +
 +
;[http://haskell.cs.yale.edu/?post_type=publication&p=255 A Model of Performance, Interaction, and Improvisation]
 +
:Paul Hudak and Jonathan Berger
  
;[http://www.galois.com/~sof/papers/thesis.ps.gz Composing graphical user interfaces in a purely functional language]
+
==Version Control==
:PhD Thesis, Department of Computing Science, University of Glasgow, June 1998.
 
  
;[http://www.galois.com/~sof/papers/haggis-tutorial.ps.gz Composing the User Interface with Haggis]
+
;[http://www.andres-loeh.de/VersionControl.html A Principled Approach to Version Control]
:Sigbjorn Finne and Simon Peyton Jones Proceedings of the Second International School on Advanced Functional Programming, Olympia, WA, USA, August 26-30, 1996. LNCS 1129.
+
:Andres Löh, Wouter Swierstra and Daan Leijen
  
;[http://www.cs.uu.nl/~daan/download/papers/wxhaskell.pdf wxHaskell: A portable and concise GUI library for Haskell]
+
[[Category:Research]]
:Daan Leijen. The ACM SIGPLAN Haskell workshop, Snowbird, Utah, September 22, 2004.
 

Latest revision as of 22:21, 14 February 2012

Program derivation

An algebra of scans
Ralf Hinze. In Dexter Kozen, editor, Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, July 12-14, 2004.
Constructing tournament representations: An exercise in pointwise relational programming
Ralf Hinze. In Eerke Boiten, Bernhard Mller, editors, Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002. Lecture Notes in Computer Science 2386, pp. 131-147.

Editors

Visual Haskell: A full-featured Haskell development environment
Krasimir Angelov, Simon Marlow. Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 5--16, Tallinn, Estonia, ACM Press, September 2005
Dynamic Applications From the Ground Up
Don Stewart and Manuel M. T. Chakravarty. In Proceedings of the ACM SIGPLAN Workshop on Haskell, pages 27-38. ACM Press, 2005.

Documentation

Haddock, A Haskell Documentation Tool
Simon Marlow. Proceedings of the ACM SIGPLAN workshop on Haskell, Pittsburgh Pennsylvania, USA, ACM Press, October 2002

Refactoring

Refactoring Functional Programs
Simon Thompson and Claus Reinke. Technical Report 16-01, Computing Laboratory, University of Kent at Canterbury, October 2001.
A case study in refactoring functional programs
Simon Thompson and Claus Reinke. In Roberto Ierusalimschy, Lucilia Figueiredo, and Marcio Tulio Valente, editors, VII Brazilian Symposium on Programming Languages, pages 1-16. Sociedade Brasileira de Computacao, May 2003.
Tool support for refactoring functional programs
Huiqing Li, Claus Reinke, and Simon Thompson. In Johan Jeuring, editor, ACM SIGPLAN 2003 Haskell Workshop. Association for Computing Machinery, August 2003. ISBN 1-58113-758-3.
Progress on HaRe: the Haskell Refactorer
Huiqing Li, Claus Reinke, and Simon Thompson. Poster presentation at the International Conference on Functional Programming, Snowbird, Utah. ACM, September 2004.
Transformation in HaRe
Chau Nguyen-Viet. Technical report, Computing Laboratory, University of Kent, Canterbury, Kent, UK, December 2004.
The Haskell Refactorer: HaRe, and its API
Huiqing Li, Simon Thompson, and Claus Reinke. In John Boyland and Görel Hedin, editors, Proceedings of the 5th workshop on Language Descriptions, Tools and Applications (LDTA 2005), April 2005.
Refactoring Functional Programs
Simon Thompson. In Varmo Vene and Tarmo Uustalu, editors, Advanced Functional Programming, 5th International School, AFP 2004, volume 3622 of Lecture Notes in Computer Science, pages 331-357. Springer Verlag, September 2005.
Porting HaRe to the GHC API
Chris Ryder and Simon Thompson. Technical Report 8-05, Computing Laboratory, University of Kent, Canterbury, Kent, UK, October 2005.
Formalisation of Haskell Refactorings
Huiqing Li and Simon Thompson. In Marko van Eekelen and Kevin Hammond, editors, Trends in Functional Programming, September 2005.

Software metrics

Software Metrics: Measuring Haskell
Chris Ryder and Simon Thompson. In Marko van Eekelen and Kevin Hammond, editors, Trends in Functional Programming, September 2005.

Lexers and regular expressions

Lazy Lexing is Fast
Manuel M. T. Chakravarty. In A. Middeldorp and T. Sato, editors, Fourth Fuji International Symposium on Functional and Logic Programming, Springer-Verlag, LNCS 1722, pages 68-84, 1999.
Regular Expressions and Automata using Haskell
Simon Thompson. Technical Report 5-00, Computing Laboratory, University of Kent, January 2000.

Parsers

Parsec: Direct Style Monadic Parser Combinators for the Real World
Daan Leijen and Erik Meijer. Technical Report UU-CS-2001-35, Departement of Computer Science, Universiteit Utrecht, 2001.
Monadic Parser Combinators
Graham Hutton and and Erik Meijer, Technical report NOTTCS-TR-96-4, Department of Computer Science, University of Nottingham, 1996. A condensed version of this report will appear as a functional pearl in JFP.
How to Replace Failure by a List of Successes
Philip Wadler, Functional Programming Languages and Computer Architecture, LNCS 201, 1985.
Higher-order functions for parsing
Graham Hutton, J. Functional Programming 2(3):323-343, 1992.
Monadic Parser Combinators
Graham Hutton and Erik Meijer, Technical report NOTTCS-TR-96-4, Department of Computer Science, University of Nottingham, 1996.
Functional Parsers
Jeroen Fokker, First International Spring School on Advanced Functional Programming Techniques, LNCS 925, 1995.
Predictive parser combinators need four values to report errors
Andrew Partridge and David Wright, J. Functional Programming 6(2): 355-364, 1996.
Combinators for parsing expressions
Steve Hill], J. Functional Programming 6(3):445-463, May 1996.
Deterministic, Error-Correcting Combinator Parsers
Doaitse Swierstra and Luc Duponcheel, Second International Summer School on Advanced Functional Programming Techniques, LNCS 1126, 1996.
Combinator Parsers: From Toys to Tools
D. Swierstra. Combinator Parsers: From Toys to Tools. In G. Hutton, editor, Electronic Notes in Theoretical Computer Science, volume 41. Elsevier Science Publishers, 2001.
Fast, Error Correcting Parser Combinators: a Short Tutorial
S. D. Swierstra and P. R. Azero Alcocer. In J. Pavelka, G. Tel, and M. Bartosek, editors, SOFSEM'99 Theory and Practice of Informatics, 26th Seminar on Current Trends in Theory and Practice of Informatics, volume 1725 of LNCS, pages 111--129, November 1999.

Pretty printing

The Design of a Pretty-printing Library
John Hughes. Advanced Functional Programming 1995. 53-96
A prettier printer
Philip Wadler. The Fun of Programming. A symposium in honour of Professor Richard Bird's 60th birthday Examination Schools, Oxford, 24-25 March 2003.
Linear, Online, Functional Pretty Printing
S. D. Swierstra. UU-CS 2004-025a, 2004.
Optimal Pretty-Printing Combinators
P. Azero and S. D. Swierstra.
Pretty printing with delimited continuations
Olaf Chitil. Technical report 4-06, Computing Laboratory, University of Kent, June 2006.

User Interfaces

Composing graphical user interfaces in a purely functional language
Sigbjorn Finne. PhD Thesis, Department of Computing Science, University of Glasgow, June 1998.
Composing the User Interface with Haggis
Sigbjorn Finne and Simon Peyton Jones Proceedings of the Second International School on Advanced Functional Programming, Olympia, WA, USA, August 26-30, 1996. LNCS 1129.
Genuinely Functional User Interfaces
Antony Courtney and Conal Elliott. In Proceedings of the Haskell Workshop, September, 2001.
wxHaskell: A portable and concise GUI library for Haskell
Daan Leijen. The ACM SIGPLAN Haskell workshop, Snowbird, Utah, September 22, 2004.

Operating systems

(see also main page of the topic: operating systems and system programming)

Towards a Practical, Verified Kernel
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, and Gernot Heiser . 2007
Reconciling High Performance and High Assurance in Microkernel Development
Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, and Manuel M. T. Chakravarty. 2006
A Principled Approach to Operating System Construction in Haskell
Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach, ICFP 2005
Formalising the L4 microkernel API
Rafal Kolanski and Gerwin Klein , 2006.
Formalising a High-Performance Microkernel written in Haskell, using Isabelle/HOL
Kevin Elphinstone, Gerwin Klein and Rafal Kolanski, 2006
A Secure Microkernel
Philip Derrin, BSc (Hons) Thesis, University of NSW, 2005.

Audio

Audio Processing using Haskell
Henning Thielemann, Digital Audio Effects, DAF'04, Naples
A Model of Performance, Interaction, and Improvisation
Paul Hudak and Jonathan Berger

Version Control

A Principled Approach to Version Control
Andres Löh, Wouter Swierstra and Daan Leijen