Personal tools

Research papers/Program development

From HaskellWiki

< Research papers(Difference between revisions)
Jump to: navigation, search
(Operating systems)
(Updated dead links)
 
(2 intermediate revisions by 2 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 66: Line 66:
 
==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 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.
 
: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.
   
Line 75: Line 75:
 
: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]
+
;[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.cs.uu.nl/groups/ST/stbib/swierstra-by-year/swierstra01combinator.bib Combinator Parsers: From Toys to Tools]
+
;[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.
 
: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.cs.uu.nl/groups/ST/stbib/swierstra-by-year/SwieAzer99.bib Fast, Error Correcting Parser Combinators: a Short Tutorial]
+
;[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.
 
: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 107: 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.
   
;[http://www.cs.uu.nl/pub/RUU/CS/techreps/CS-2004/2004-025a.pdf Linear, Online, Functional Pretty Printing]
+
;[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.
 
:S. D. Swierstra. UU-CS 2004-025a, 2004.
   
;[http://www.cs.uu.nl/groups/ST/stbib/swierstra-by-year/AzerSwie98.bib Optimal Pretty-Printing Combinators]
+
;[http://www.cs.uu.nl/groups/ST/Software/PP/pabloicfp.ps Optimal Pretty-Printing Combinators]
 
:P. Azero and S. D. Swierstra.
 
:P. Azero and S. D. Swierstra.
   
Line 118: Line 118:
 
==User Interfaces==
 
==User Interfaces==
   
;[http://www.galois.com/~sof/papers/thesis.ps.gz Composing graphical user interfaces in a purely functional language]
+
;[http://theses.gla.ac.uk/1597/ Composing graphical user interfaces in a purely functional language]
 
:Sigbjorn Finne. PhD Thesis, Department of Computing Science, University of Glasgow, June 1998.
 
:Sigbjorn Finne. 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://research.microsoft.com/pubs/67057/composing-haggis.ps.gz 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.
 
: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://www.apocalypse.org/pub/u/antony/work/pubs/genuinely-functional-guis.pdf Genuinely Functional User Interfaces]
+
;[http://thesoftwareinyourhead.com/papers/genuinely-functional-guis.pdf Genuinely Functional User Interfaces]
 
:Antony Courtney and Conal Elliott. In Proceedings of the Haskell Workshop, September, 2001.
 
:Antony Courtney and Conal Elliott. In Proceedings of the Haskell Workshop, September, 2001.
   
;[http://www.cs.uu.nl/~daan/download/papers/wxhaskell.pdf wxHaskell: A portable and concise GUI library for Haskell]
+
;[http://legacy.cs.uu.nl/daan/download/papers/wxhaskell.pdf wxHaskell: A portable and concise GUI library for Haskell]
 
:Daan Leijen. The ACM SIGPLAN Haskell workshop, Snowbird, Utah, September 22, 2004.
 
:Daan Leijen. The ACM SIGPLAN Haskell workshop, Snowbird, Utah, September 22, 2004.
   
Line 139: Line 139:
 
:Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, and Manuel M. T. Chakravarty. 2006
 
:Philip Derrin, Kevin Elphinstone, Gerwin Klein, David Cock, and Manuel M. T. Chakravarty. 2006
   
;[http://www.cse.ogi.edu/~hallgren/ICFP2005/ A Principled Approach to Operating System Construction in Haskell]
+
;[http://web.cecs.pdx.edu/~apt/icfp05.pdf A Principled Approach to Operating System Construction in Haskell]
 
:Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach, ICFP 2005
 
:Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach, ICFP 2005
   
Line 155: Line 155:
 
==Audio==
 
==Audio==
   
;[http://www.math.uni-bremen.de/~thielema/Research/haskellsignal.pdf Audio Processing using Haskell]
+
;[http://dafx04.na.infn.it/WebProc/Proc/P_201.pdf Audio Processing using Haskell]
 
:Henning Thielemann, Digital Audio Effects, DAF'04, Naples
 
:Henning Thielemann, Digital Audio Effects, DAF'04, Naples
 
 
;[http://haskell.org/papers/interaction.ps A Model of Performance, Interaction, and Improvisation]
+
;[http://haskell.cs.yale.edu/?post_type=publication&p=255 A Model of Performance, Interaction, and Improvisation]
 
:Paul Hudak and Jonathan Berger
 
:Paul Hudak and Jonathan Berger
   
 
==Version Control==
 
==Version Control==
   
;[http://www.informatik.uni-bonn.de/~loeh/VersionControl.html A Principled Approach to Version Control]
+
;[http://www.andres-loeh.de/VersionControl.html A Principled Approach to Version Control]
 
:Andres Löh, Wouter Swierstra and Daan Leijen
 
:Andres Löh, Wouter Swierstra and Daan Leijen
   

Latest revision as of 22:21, 14 February 2012

Contents


[edit] 1 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.

[edit] 2 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.

[edit] 3 Documentation

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

[edit] 4 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.

[edit] 5 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.

[edit] 6 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.

[edit] 7 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.

[edit] 8 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.

[edit] 9 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.

[edit] 10 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.

[edit] 11 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

[edit] 12 Version Control

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