Research papers/Program development: Difference between revisions

Revision as of 05:26, 9 April 2006

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.

@@ Line 1: / Line 1: @@
 __TOC__
-==Program derivation==
+==Program Development==
+===Program derivation===
 ;[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.
-==Editors==
+===Editors===
 ;[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.
-==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]
 :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]
@@ 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.
-==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]