Research papers/Program development: Difference between revisions

Revision as of 06:34, 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

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.

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.

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.

@@ Line 1: / Line 1: @@
 __TOC__
-==Program Development==
+==Program derivation==
-===Program derivation===
 ;[http://www.informatik.uni-bonn.de/~ralf/publications/MPC2004.pdf An algebra of scans]
@@ Line 12: / Line 9: @@
 :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]
@@ Line 20: / Line 17: @@
 :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]
 :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]
 :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]
@@ Line 38: / Line 35: @@
 :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===
+;How to Replace Failure by a List of Successes
+: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
+: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]
+: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]
+: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]
+: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]
+: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]
+:Doaitse Swierstra and Luc Duponcheel, Second International Summer School on Advanced Functional Programming Techniques, LNCS 1126, 1996.
+==Pretty printing==
 ;[http://www.cs.chalmers.se/~rjmh/Papers/pretty.ps The Design of a Pretty-printing Library]
@@ Line 46: / Line 64: @@
 :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===
+==Functional reactive programming==
 ;[http://cs-www.cs.yale.edu/homes/nilsson/Publications/hw2003.pdf The Yampa Arcade]
@@ Line 80: / Line 98: @@
 :John Peterson, Paul Hudak, and Conal Elliott In the proceedings of PADL '99.
-===Graphics===
+==Graphics==
 ;[http://conal.net/papers/Vertigo/ Programming Graphics Processors Functionally]
 :Conal Elliott. Proceedings of the 2004 Haskell Workshop.
-===User Interfaces===
+==User Interfaces==
 ;[http://www.galois.com/~sof/papers/thesis.ps.gz Composing graphical user interfaces in a purely functional language]