Difference between revisions of "Research papers/Program development"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (some more haskell operating system papers) |
(Updated dead links) |
||
| (12 intermediate revisions by 4 users not shown) | |||
| Line 3: | Line 3: | ||
==Program derivation== |
==Program derivation== |
||
| − | ;[http://www. |
+ | ;[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. |
+ | ;[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:// |
+ | ;[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:// |
+ | ;[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/ |
+ | ;[http://www.cs.nott.ac.uk/~gmh/bib.html#monparsing Monadic Parser Combinators] |
| − | :Graham |
+ | :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- |
+ | ;[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:// |
+ | ;[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:// |
+ | ;[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:// |
+ | ;[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:// |
+ | ;[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. |
+ | ;[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. |
+ | ;[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. |
+ | ;[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. |
+ | ;[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/ |
+ | ;[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/ |
+ | ;[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. |
||
| + | |||
| + | ;[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== |
==User Interfaces== |
||
| − | ;[http:// |
+ | ;[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:// |
+ | ;[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:// |
+ | ;[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:// |
+ | ;[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. |
||
| − | ==Operating |
+ | ==Operating systems== |
| + | (see also main page of the topic: [[Libraries and tools/Operating system|operating systems and system programming]]) |
||
| + | |||
| + | ;[http://www.cse.unsw.edu.au/~kleing/papers/hotos07.html Towards a Practical, Verified Kernel] |
||
| + | :Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, and Gernot Heiser . 2007 |
||
;[http://www.cse.unsw.edu.au/~chak/papers/DEKC+06.html Reconciling High Performance and High Assurance in Microkernel Development] |
;[http://www.cse.unsw.edu.au/~chak/papers/DEKC+06.html Reconciling High Performance and High Assurance in Microkernel Development] |
||
: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:// |
+ | ;[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 |
||
| + | |||
| + | ;[http://www.cse.unsw.edu.au/~kleing/papers/kolanski-klein-05.html Formalising the L4 microkernel API] |
||
| + | :Rafal Kolanski and Gerwin Klein , 2006. |
||
;[http://www.doclsf.de/papers/vstte06.html Formalising a High-Performance Microkernel written in Haskell, using Isabelle/HOL] |
;[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 |
:Kevin Elphinstone, Gerwin Klein and Rafal Kolanski, 2006 |
||
| + | |||
| + | ;[http://www.disy.cse.unsw.edu.au/theses_public/05/philipd.pdf A Secure Microkernel] |
||
| + | :Philip Derrin, BSc (Hons) Thesis, University of NSW, 2005. |
||
| + | |||
| + | : |
||
| + | |||
| + | ==Audio== |
||
| + | |||
| + | ;[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 |
||
| + | |||
| + | ==Version Control== |
||
| + | |||
| + | ;[http://www.andres-loeh.de/VersionControl.html A Principled Approach to Version Control] |
||
| + | :Andres Löh, Wouter Swierstra and Daan Leijen |
||
| + | |||
| + | [[Category:Research]] |
||
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