Publications on Functional Programming

2004

• Pieter Hartel, Henk Muller, Hugh Glaser, The Functional C experience. the Journal of Functional Programming, 14(2). ISSN 0956-7968, pp. 129–135. March 2004. No electronic version available. External information

2000

• Peter A. Flach, The use of functional and logic languages in machine learning. Ninth International Workshop on Functional and Logic Programming (WFLP2000)�. Maria Alpuente, (eds.), pp. 225–237. September 2000. PDF, 66 Kbytes.
• Huseyin Pehlivan, A Sophisticated Shell Environment. PhD thesis. Department of Computer Science, University of Bristol. August 2000. PDF, 1016 Kbytes.

1999

• Eleni Spiliopoulou, Concurrent and Distributed Functional Systems. PhD thesis. Department of Computer Science, University of Bristol. September 1999. PDF, 975 Kbytes.
• Alastair Penney, Augmenting Trace-based Functional Debugging. PhD thesis. Department of Computer Science, University of Bristol. September 1999. PDF, 3009 Kbytes.
• Kerstin Eder, Yet another way of Set-processing: The Escher style and its implementation. Proceedings of the Workshop on Declarative Programming with Sets (DPS'99), pp. 37–50. September 1999. PDF, 252 Kbytes.
• Kerstin Eder, Implementing Escher on a Graph Reduction Machine. Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99), pp. 1–20. September 1999. PDF, 244 Kbytes.
• Ian Holyer, Eleni Spiliopoulou, Concurrent Monadic Interfacing. Implementation of Functional Languages, IFL '98, 10th International Workshop, Selected Papers, London, United Kingdom, September 1998. ISBN 3-540-66229-4, pp. 73–89. June 1999. No electronic version available.
• Laura Lafave, A Constraint-based Partial Evaluator for Functional Logic Programs and its Application. PhD thesis. Department of Computer Science, University of Bristol. February 1999. PDF, 889 Kbytes.

1998

• Kerstin I. Eder, EMA: Implementing the Rewriting Computational Model of Escher. PhD thesis. Department of Computer Science, University of Bristol. November 1998. PDF, 1074 Kbytes.
• Kerstin Eder, Implementing the Rewriting Computational Model of Escher. 13th Workshop on Logic Programming (WLP'98), pp. 106–117. October 1998. PDF, 206 Kbytes.
• L. Lafave, J. P. Gallagher, Extending the power of automatic constraint-based partial evaluators. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
• J. P. Gallagher, L. Lafave, The role of trace abstractions in program specialization algorithms. ACM Computing Surveys, 30 (3es). ISSN 0360-0300, pp. 1–4. September 1998. No electronic version available. External information
• I Holyer, E Spiliopoulou, Concurrent Monadic Interfacing. IFL '98: Proceedings of the 10th International Workshop on Implementation of Functional Languages, pp. 253–269. September 1998. No electronic version available.
• I Holyer, N Davies, E Spiliopoulou, Distribution in a Demand Driven Style. The First International Workshop on Component-based software development in Computational Logic; COCL, pp. 29–41. September 1998. PDF, 168 Kbytes.
• I Holyer, E Spiliopoulou, The Brisk Machine: A Simplified STG Machine. Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 1997, Selected Papers, LNCS 1467. ISBN 3-540-64849-6, pp. 20–38. August 1998. PDF, 208 Kbytes.
• Chris Dornan, Type-Secure Meta-Programming. PhD thesis. Department of Computer Science, University of Bristol. July 1998. PDF, 804 Kbytes.
• L. Lafave, J. P. Gallagher, Constraint-based Partial Evaluation of Rewriting-based Functional Logic Programs. Program Synthesis and Transformation. 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 1997, editor N. Fuchs.. ISBN 3-540-65074-1, pp. 168–188. June 1998. No electronic version available.
• J Bradley, N Davies, Compositional BDD Construction: A Lazy Algorithm. CSTR-98-005, Department of Computer Science, University of Bristol. April 1998. PDF, 226 Kbytes.
• Ian Holyer, Eleni Spiliopoulou, The Brisk Machine: A Simplified STG Machine. CSTR-98-003, Department of Computer Science, University of Bristol. March 1998. PDF, 213 Kbytes.

1997

• Eleni Spiliopoulou, Ian Holyer, Neil Davies, Distributed Programming, a purely functional approach. Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming. ISBN 0-89791-918-1, pp. 1–1. June 1997. PDF, 49 Kbytes.
• Logic Program Synthesis and Transformation, 6th International Workshop, LOPSTR'96. John P. Gallagher, (eds.). Springer Verlag, Lecture Notes in Computer Science. ISBN 3-504-62718-9. March 1997. No electronic version available. External information

1994

• Christophe Giraud-Carrier, A Reconfigurable Data Flow Machine for Implementing Functional Programming Languages. SIGPLAN Notices, 29 (9). ISSN 0, pp. 22–28. September 1994. PDF, 40 Kbytes.