Readscheme.org
Haskell Bibliography Home
Language Design
Monads
XML and the Web
Generic Programming
Applications
Compiler Technology
GUI Programming
Parallel Programming
Recent Additions
Search...

Application Programming in Haskell

Embedding Domain-Specific Languages in Haskell

  • Amr Sabry and Jan Sparud. "Debugging Reactive Systems in Haskell". Haskell Workshop'97. 1997. Available online: ps. Bibtex citation.
  • Henrik Nilsson, Antony Courtney, and John Peterson. "Functional Reactive Programming, Continued". Haskell Workshop 2002. October 2002. Available online: ps. Bibtex citation.
  • Chris Okasaki. "Techniques for Embedding Postfix Languages in Haskell". Haskell Workshop 2002. October 2002. Available online: ACM Digital Library. Bibtex citation.
  • Henrik Nilsson and John Peterson and Paul Hudak. "Functional Hybrid Modeling". Proceedings of {PADL'03}: 5th International Workshop on Practical Aspects of Declarative Languages. January 2003. Available online: ps. Bibtex citation.
  • John Peterson. "A Language for Mathematical Visualization". Proceedings of {FPDE'02}: Functional and Declarative Languages in Education. October 2002. Available online: ps. Bibtex citation.
  • Izzet Pembeci and Henrik Nilsson and Greogory Hager. "Functional Reactive Robotics: An Exercise in Principled Integration of Domain-Specific Languages". Principles and Practice of Declarative Programming (PPDP'02). October 2002. Available online: ps. Bibtex citation.
  • John Peterson and Paul Hudak. "Using Music to Teach Computation and Mathematics in Secondary Education". Functional and Declarative Languages in Education. September 2002. Available online: ps. Bibtex citation.
  • Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. "Robots, Arrows and Functional Reactive Programming". Summer School and Workshop on Advanced Functional Programming. August 2002. Available online: pdf. Bibtex citation.
  • João Saraiva. "HaLex: A Haskell Library to Model, Manipulate and Animate Regular Languages". Functional and Declarative Programming in Education (FDPE 2002). October 2002. Available online: ps. Bibtex citation.
  • Zhanyong Wan, Walid Taha and Paul Hudak. "Event-Driven FRP". PADL 02. 2002. Available online: ps. Bibtex citation.
  • Walid Taha, Paul Hudak and Zhanyong Wan. "Directions in Functional Programming for Real(-Time) Applications". EMSOFT 01. 2001. Available online: ps. Bibtex citation.
  • Zhanyong Wan, Walid Taha and Paul Hudak. "Real-Time FRP". ICFP 01. 2001. Available online: pdf ps. Bibtex citation.
  • John Peterson, Greg Hager, Paul Hudak and Alastair Reid. "FVision: A Declarative Language for Visual Tracking". PADL 01. 2001. Available online: ps. Bibtex citation.
  • John Peterson, Zhanyong Wan, Paul Hudak and Henrik Nilsson. "Yale FRP User's Manual". Yale Computer Science Department. January 2001. Available online: html. Bibtex citation.
  • Zhanyong Wan and Paul Hudak. "Functional Reactive Programming from First Principles". PLDI 00. 2000. Available online: pdf ps slides (ppt) slides (pdf) slides (ps). Bibtex citation.
  • John Peterson, Valery Trifonov and Andrei Serjantov. "Parallel Functional Reactive Programming". PADL 00. 2000. Available online: pdf ps. Bibtex citation.
  • John Peterson, Paul Hudak and Conal Elliott. "Lambda in Motion: Controlling Robots With Haskell". PADL 99. 1999. Available online: pdf ps. Bibtex citation.
  • Alastair Reid, John Peterson, Greg Hager and Paul Hudak. "Prototyping Real-Time Vision Systems: An Experiment in DSL Design". ICSE 99. 1999. Available online: pdf ps. Bibtex citation.
  • John Peterson, Gregory D. Hager and Paul Hudak. "A Language for Declarative Robotic Programming". ICRA 99. 1999. Available online: pdf ps. Bibtex citation.
  • Paul Hudak. "Modular Domain Specific Languages and Tools". ICSR 98. 1998. Available online: pdf ps. Bibtex citation.
  • Conal Elliott and Paul Hudak. "Functional Reactive Animation". ICFP 97. 1997. Available online: ps. Bibtex citation.
  • Conal Elliott, Sigbjorn Finne and Oege de Moor. "Compiling Embedded Languages". SAIG 2000. 2000. Available online: ps pdf. Bibtex citation.
  • Conal Elliott, Sigbjorn Finne and Oege de Moor. "Efficient Image Manipulation via Run-time Compilation". Microsoft Research tech report TR-99-82. November 1999. Available online: ps pdf. Bibtex citation.
  • Sigbjorn Finne and Simon Peyton Jones. "Programming Reactive Systems in Haskell". Proceedings of the Glasgow Functional Programming Group Workshop. September 1994. Available online: ps. Bibtex citation.
  • Conal Elliott, Sigbjorn Finne and Oege de Moor. "Efficient Image Manipulation via Run-time Compilation". Microsoft Research tech report TR-99-82. November 1999. Available online: ps pdf. Bibtex citation.
  • Daan Leijen and Erik Meijer. "Domain Specific Embedded Compilers". Proc. 2nd USENIX Conference on Domain-Specific Languages'99. 1999. Available online: pdf. Bibtex citation.

Hardware Design and Verification

  • Koen Claessen. "Safety Property Verification of Cyclic Circuits". June 2002. Available online: ps. Bibtex citation.
  • Koen Claessen, Gordon Pace. "An Embedded Language Approach to Teaching Hardware Compilation". FDPE 2002. October 2002. Available online: ps. Bibtex citation.
  • Koen Claessen, Reiner Hähnle, Johan Mårtensson. "Verification of Hardware Systems with First-Order Logic". PaPS 2002. 2002. Available online: ps. Bibtex citation.
  • Koen Claessen, Gordon Pace. "An Embedded Language Framework for Hardware Compilation". DCC 2002. 2002. Available online: ps. Bibtex citation.
  • Koen Claessen, Mary Sheeran, Satnam Singh. "The Design and Verification of a Sorter Core". CHARME 2001. 2001. Available online: pdf. Bibtex citation.
  • Koen Claessen and Gordon J. Pace. "An Embedded Language Approach to Teaching Hardware Compilation". Functional and Declarative Programming in Education (FDPE 2002). October 2002. Available online: ps. Bibtex citation.
  • Koen Claessen and Peter Ljunglöf. "Typed Logical Variables in Haskell". Haskell Workshop 2000. 2000. Available online: ps. Bibtex citation.
  • Koen Claessen, Mary Sheeran and Satnam Singh. "The Design and Verification of a Sorter Core". CHARME 2001. 2001. Available online: ps. Bibtex citation.
  • Koen Claessen. "Embedded Languages for Describing and Verifying Hardware". PhD. Thesis. Chalmers University. 2001. Available online: ps. Bibtex citation.
  • Koen Claessen and David Sands. "Observable Sharing for Functional Circuit Description". ASIAN '99. 1999. Available online: ps. Bibtex citation.
  • Per Bjesse, Koen Claessen, Mary Sheeran and Satnam Singh. "Lava: Hardware Design in Haskell". ICFP '98. 1998. Available online: ps. Bibtex citation.
  • Koen Claessen, Mary Sheeran. "A Lava Tutorial". April 2000. Available online: ps. Bibtex citation.
  • Koen Claessen. "An Embedded Language Approach to Hardware Description and Verification". Masters Thesis. September 2000. Available online: ps. Bibtex citation.
  • Per Bjesse. "Automatic Verification of Combinational and Pipelined FFT Circuits". CAV. 1999. Available online: ps. Bibtex citation.
  • John Matthews. "Algebraic Specification and Verification of Processor Microarchitectures". PhD. Thesis. Oregon Graduate Institute. 2000. Available online: pdf. Bibtex citation.
  • Nancy A. Day, Jeffrey R. Lewis and Byron Cook. "Symbolic Simulation of Microprocessor Models using Type Classes in Haskell". CHARME'99. September 1999. Available online: pdf. Bibtex citation.
  • Nancy A. Day, Jeffrey R. Lewis and Byron Cook. "Symbolic Simulation of Microprocessor Models using Type Classes in Haskell". Oregon Graduate Institute. Technical Report CSE-99-005. Available online: ps. Bibtex citation.
  • John Launchbury, Jeff Lewis and Byron Cook. "On Embedding a Microarchitectural Design Language within Haskell". ICFP'99. 1999. Available online: pdf. Bibtex citation.
  • John Matthews and John Launchbury. "Elementary Microarchitecture Algebra". CAV '99. 1999. Available online: pdf. Bibtex citation.
  • Byron Cook, John Launchbury and John Matthews. "Specifying Superscalar Microprocessors with Hawk". FTH '98. 1998. Available online: pdf. Bibtex citation.
  • John Matthews, John Launchbury and Byron Cook. "Microprocessor Specification in Hawk". ICCL '98. 1998. Available online: pdf. Bibtex citation.

Parsers and Pretty Printers

Purely Functional Data Structures

  • Manuel M. T. Chakravarty and Gabriele Keller. "Functional Array Fusion". International Conference on Functional Programming (ICFP 2001). September 2001. Available online: ps. Bibtex citation.
  • Chris Okasaki. "An Overview of Edison". Haskell Workshop 2000. September 2000. Available online: ps. Bibtex citation.
  • Graeme E. Moss. "Benchmarking Purely Functional Data Structures". PhD. Thesis. York University. YCST-2000-01. July 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Bootstrapping One-sided Flexible Arrays". 2002 International Conference on Functional Programming. October 2002. Available online: ps pdf. Bibtex citation.
  • Ralf Hinze. "Functional Pearl: A fresh look at binary search trees". Journal of Functional Programming. 2001. Bibtex citation.
  • Ralf Hinze and Johan Jeuring. "Functional Pearl: Weaving a Web". Journal of Functional Programming. 11(6). 2001. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Manufacturing datatypes". Journal of Functional Programming. 2000. Bibtex citation.
  • Ralf Hinze. "Functional Pearl: Perfect trees and bit-reversal permutations". Journal of Functional Programming. 10(3). May 2000. Bibtex citation.
  • Ralf Hinze. "Functional Pearl: Explaining binomial heaps". Journal of Functional Programming. 9(1). January 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "A Simple Implementation Technique for Priority Search Queues". Proceedings of the 2001 International Conference on Functional Programming. September 2001. Available online: ps pdf. Bibtex citation.
  • Ralf Hinze. "Constructing red-black trees". Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL'99). September 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Manufacturing datatypes". Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL'99). September 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "A Simple Implementation Technique for Priority Search Queues". Department of Computer Science, Utrecht University. Technical Report UU-CS-2001-09. March 2001. Available online: ps pdf. Bibtex citation.
  • Ralf Hinze. "Constructing red-black trees". Institut für Informatik III, Universität Bonn. Technical Report IAI-TR-99-6. May 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Manufacturing datatypes". Institut für Informatik III, Universität Bonn. Technical Report IAI-TR-99-5. April 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Perfect trees and bit-reversal permutations". Institut für Informatik III, Universität Bonn. Technical Report IAI-TR-99-4. March 1999. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Numerical Representations as Higher-Order Nested Datatypes". Institut für Informatik III, Universität Bonn. Technical Report IAI-TR-98-12. December 1998. Available online: ps. Bibtex citation.

Logic Programming

  • Silvija Seres. "The Algebra of Logic Programming". PhD. Thesis. University of Oxford. 2001. Available online: ps. Bibtex citation.
  • Silvija Seres and S-C Mu. "Optimisation problems in logic programming: an algebraic approach". LPSE'00. July 2000. Available online: ps. Bibtex citation.
  • Silvija Seres, Michael J. Spivey. "Higher-order transformation of logic programs". LOPSTR'00. July 2000. Available online: ps. Bibtex citation.
  • Silvija Seres, Michael J. Spivey, C.A.R. Hoare. "Algebra of Logic Programming". ICLP'99. November 1999. Available online: ps. Bibtex citation.
  • Michael J. Spivey and Silvija Seres. "The Algebra of Searching". Symposium in honour of work of C.A.R. Hoare. September 1999. Available online: ps. Bibtex citation.
  • Silvija Seres and Michael J. Spivey. "Embedding Prolog into Haskell". Haskell Workshop'99. September 1999. Available online: ps. Bibtex citation.
  • Silvija Seres and Michael J. Spivey. "Functional Reading of Logic Programs". BCTCS'99. April 1999. Available online: ps. Bibtex citation.
  • Silvija Seres. "Unifying Functional and Logic Programming". Oxford University. Transfer Thesis. September 1998. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Prological features in a functional setting - axioms and implementations". Third Fuji International Symposium on Functional and Logic Programming (FLOPS'98). April 1998. Available online: ps. Bibtex citation.
  • Ralf Hinze. "Prolog's control constructs in a functional setting - Axioms and implementation". International Journal of Foundations of Computer Science. 12(2). 2001. Available online: ps. Bibtex citation.

Other Applications

  • Mark Tullsen. "The Zip Calculus". Mathematics of Program Construction, Fifth International Conference, MPC 2000. volume 1837 of Lecture Notes in Computer Science. July 2000. Available online: ps. Bibtex citation.
  • Mark Tullsen. "The Zip Calculus". Yale University. YALEU/DCS/RR-1191. February 2000. Available online: ps. Bibtex citation.
  • Simon Marlow. "Haddock, A Haskell Documentation Tool". Haskell Workshop 2002. October 2002. Available online: ps. Bibtex citation.
  • André Santos and Bruno Abdon Monteiro. "A Persistence Library for Haskell". SBLP'2001 - V Simpósio Brasileiro de Linguagens de Programação. May 2001. Available online: ps. Bibtex citation.
  • André Santos. "Embedding a Firewall programming language into Haskell". SBLP'99 - III Simpósio Brasileiro de Linguagens de Programação. May 1999. Available online: ps. Bibtex citation.
  • Genésio Neto and André Santos. "An Interval Library for Haskell". Third International Summer School on Advanced Functional Programming. September 1998. Bibtex citation.
  • Björn Lisper, Johan Malmström. "Haxcel: A Spreadsheet Interface to Haskell". Implementation of Functional Languages (IFL 2002). 2002. Available online: ps pdf. Bibtex citation.
  • Jerzy Karczmarczuk. "Functional Low-level Interpreters". Functional and Declarative Programming in Education (FDPE 2002). October 2002. Available online: ps. Bibtex citation.
  • Christoph Lüth. "Haskell in Space". Functional and Declarative Programming in Education (FDPE 2002). October 2002. Available online: ps. Bibtex citation.
  • Simon Marlow. "Writing High-Performance Server Applications in Haskell, Case Study: A Haskell Web Server". Haskell Workshop 2000. September 2000. Available online: ps. Bibtex citation.
  • Simon Peyton Jones, Jean-Marc Eber and Julian Seward. "Composing contracts: an adventure in financial engineering". ICFP 2000. 2000. Available online: ps Powerpoint. Bibtex citation.
  • Ralf Hinze. "Constructing tournament representations: An exercise in pointwise relational programming". Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002). July 2002. Available online: ps pdf. Bibtex citation.
  • Mark P. Jones, Paul Hudak, and Sebastian Shaumyan. "Using Types to Parse Natural Language". Proceedings of the Glasgow Workshop on Functional Programming. July 1995. Available online: pdf ps. Bibtex citation.
  • Malcolm Wallace. "Functional Programming and Embedded Systems". PhD. Thesis. York University. YCST-95-04. January 1995. Available online: ps. Bibtex citation.
  • Lennart Augustsson, Magnus Carlsson. "An exercise in dependent types: A well-typed interpreter". Chalmers University ofTechnology. 1999. Available online: ps. Bibtex citation.
  • Lennart Augustsson. "Equality proofs in Cayenne". Chalmers University of Technology. 1999. Available online: ps. Bibtex citation.

Last modified: Saturday, December 24th, 2005 12:22:37am
HTML generated using WebIt!.