Difference between revisions of "Research papers/Program development"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (+parser combinator papers) |
DonStewart (talk | contribs) (more papers) |
||
| Line 1: | Line 1: | ||
| + | |||
__TOC__ |
__TOC__ |
||
| Line 22: | Line 23: | ||
: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 |
||
| − | == |
+ | ==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== |
||
| Line 63: | Line 101: | ||
;[http://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf A prettier printer] |
;[http://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf 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. |
: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://cs-www.cs.yale.edu/homes/nilsson/Publications/hw2003.pdf The Yampa Arcade] |
||
| − | :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. |
||
| − | |||
| − | ;[http://cs-www.cs.yale.edu/homes/nilsson/Publications/icfp2003.pdf Functional Automatic Differentiation with Dirac Impulses] |
||
| − | :Henrik Nilsson. In Proceedings of the Eight ACM SIGPLAN International Conference on Functional Programming, pages 159 - 187, Uppsala, Sweden, August 2003. ACM Press. |
||
| − | |||
| − | ;[http://cs-www.cs.yale.edu/homes/nilsson/Publications/afp2002.pdf Arrows, robots, and functional reactive programming] |
||
| − | :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. |
||
| − | |||
| − | ;[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] |
||
| − | :Izzet Pembeci, Henrik Nilsson, and Gregory Hager. In Principles and Practice of Declarative Programming (PPDP'02), pages 168 - 179, Pittsburgh, Pennsylvania, USA, October 2002. |
||
| − | |||
| − | ;[http://conal.net/papers/icfp97/ Functional Reactive Animation] |
||
| − | :Conal Elliott and Paul Hudak. In the proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97). |
||
| − | |||
| − | ;[http://conal.net/papers/padl99/ From Functional Animation to Sprite-Based Display] |
||
| − | :Conal Elliott, In the Proceedings of PADL '99. |
||
| − | |||
| − | ;[http://research.microsoft.com/scripts/pubDB/pubsasp.asp?RecordID=187 A "Fifteen Puzzle" in Fran] |
||
| − | :Conal Elliott. October, 1998. |
||
| − | |||
| − | ;[http://research.microsoft.com/scripts/pubDB/pubsasp.asp?RecordID=191 Two-handed Image Navigation in Fran] |
||
| − | :Conal Elliott. 1998 Glasgow Functional Programming Workshop. |
||
| − | |||
| − | ;[http://conal.net/papers/plilpalp98/ Functional Implementations of Continuous Modeled Animation] |
||
| − | :Conal Elliott. In the Proceedings of PLILP/ALP '98. |
||
| − | |||
| − | ===Robots=== |
||
| − | |||
| − | ;[http://haskell.org/frob/padl99/padl99.ps Lambda in Motion: Controlling Robots With Haskell] |
||
| − | :John Peterson, Paul Hudak, and Conal Elliott In the proceedings of PADL '99. |
||
| − | |||
| − | ==Graphics== |
||
| − | |||
| − | ;[http://conal.net/papers/Vertigo/ Programming Graphics Processors Functionally] |
||
| − | :Conal Elliott. Proceedings of the 2004 Haskell Workshop. |
||
==User Interfaces== |
==User Interfaces== |
||
Revision as of 07:11, 9 April 2006
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 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.
- How to Replace Failure by a List of Successes
- Philip Wadler, Functional Programming Languages and Computer Architecture, LNCS 201, 1985.
- Higher-order functions for parsingi
- 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.
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.
User Interfaces
- Composing graphical user interfaces in a purely functional language
- 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.
- wxHaskell: A portable and concise GUI library for Haskell
- Daan Leijen. The ACM SIGPLAN Haskell workshop, Snowbird, Utah, September 22, 2004.