Difference between revisions of "Research papers/Program development"
From HaskellWiki
DonStewart (talk | contribs) (Program developement papers) |
DonStewart (talk | contribs) (+papers) |
||
Line 1: | Line 1: | ||
+ | |||
__TOC__ | __TOC__ | ||
− | ==Program derivation== | + | ==Program Development== |
+ | |||
+ | ===Program derivation=== | ||
;[http://www.informatik.uni-bonn.de/~ralf/publications/MPC2004.pdf An algebra of scans] | ;[http://www.informatik.uni-bonn.de/~ralf/publications/MPC2004.pdf An algebra of scans] | ||
Line 9: | Line 12: | ||
: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. | ||
− | ==Editors== | + | ===Editors=== |
;[http://www.haskell.org/~simonmar/papers/vshaskell.pdf Visual Haskell: A full-featured Haskell development environment] | ;[http://www.haskell.org/~simonmar/papers/vshaskell.pdf Visual Haskell: A full-featured Haskell development environment] | ||
Line 17: | Line 20: | ||
: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. | ||
− | ==Documentation== | + | ===Documentation=== |
;[http://www.haskell.org/~simonmar/papers/haddock.pdf Haddock, A Haskell Documentation Tool] | ;[http://www.haskell.org/~simonmar/papers/haddock.pdf Haddock, A Haskell Documentation Tool] | ||
: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== | + | ===Lexers=== |
;[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. | ||
− | ==Parsers== | + | ===Parsers=== |
;[http://www.cs.uu.nl/~daan/download/papers/parsec-paper.pdf Parsec: Direct Style Monadic Parser Combinators for the Real World] | ;[http://www.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. | ||
− | ==Pretty printing== | + | ;[http://www.cs.nott.ac.uk/Department/Staff/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. | ||
+ | |||
+ | ===Pretty printing=== | ||
;[http://www.cs.chalmers.se/~rjmh/Papers/pretty.ps The Design of a Pretty-printing Library] | ;[http://www.cs.chalmers.se/~rjmh/Papers/pretty.ps The Design of a Pretty-printing Library] | ||
Line 40: | Line 46: | ||
: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. | ||
− | ==User Interfaces== | + | ===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=== | ||
;[http://www.galois.com/~sof/papers/thesis.ps.gz Composing graphical user interfaces in a purely functional language] | ;[http://www.galois.com/~sof/papers/thesis.ps.gz Composing graphical user interfaces in a purely functional language] |
Revision as of 05:26, 9 April 2006
Contents
Program Development
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
Lexers
- 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.
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.
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.
Functional reactive programming
- 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.
- 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.
- 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.
- 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.
- Functional Reactive Animation
- Conal Elliott and Paul Hudak. In the proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97).
- From Functional Animation to Sprite-Based Display
- Conal Elliott, In the Proceedings of PADL '99.
- A "Fifteen Puzzle" in Fran
- Conal Elliott. October, 1998.
- Two-handed Image Navigation in Fran
- Conal Elliott. 1998 Glasgow Functional Programming Workshop.
- Functional Implementations of Continuous Modeled Animation
- Conal Elliott. In the Proceedings of PLILP/ALP '98.
Robots
- Lambda in Motion: Controlling Robots With Haskell
- John Peterson, Paul Hudak, and Conal Elliott In the proceedings of PADL '99.
Graphics
- Programming Graphics Processors Functionally
- Conal Elliott. Proceedings of the 2004 Haskell Workshop.
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.