Home Introduction Resources Members Publications Projects IFIP WG 2.11 Meeting

2008

Mechanising a Proof of Craig's Interpolation Theorem for Intuitionstic Logic in Nominal Isabelle

Peter Chapman, James McKinna, and Christian Urban. Intelligent Computer Mathematics, 9th International Conference, AISC 2008, Proceedings, Birmingham, UK, July/August 2008, Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, and Freek Wiedijk (eds.) : Lecture Notes in Artificial Intelligence 5144, Springer, 2008, pp. 38--52.

[BibTeX] [ISBN]

On the Correspondence between Hypersequent and Labelled Calculi for Intermediate Logics (Extended Abstract)

Robert Rothenberg. Proc. 15th Workshop on Automated Reasoning (ARW), University of Birmingham, UK, 30th-31st July 2008, L.A. Dennis and V. Sorge (eds.) , School of Computer Science, University of Birmingham, 2008, pp. 34--35.

[BibTeX]

On the Correspondence between Hypersequent and Labelled Calculi for Intermediate Logics (Extended Abstract)

Robert Rothenberg. Proc. 7th meeting of Proofs, Computation and Complexity (PCC), Oslo, 8-9 August 2008, Lars Kristiansen (ed.) , 2008, pp. 14-16.

[BibTeX]

2007

Towards Resource-Certified Software: A Formal Cost Model for Time and its Application to an Image-Processing Example

Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andy Wallace, and Iain Wallace. ACM Symposium on Applied Computing (SAC '07), Seoul, Korea, March 11-15, Seoul, Korea, 2007. To appear.

[BibTeX] [PDF] [URL]

Worst-Case Execution Times for a Purely Functional Language

Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, and Reinhold Heckmann. Proc. Implementation of Functional Languages (IFL 2006), Lecture Notes in Computer Science 4449, Springer, 2007. To appear

[BibTeX] [PDF]

Ivor, a Proof Engine

Edwin Brady. Proc. Implementation of Functional Languages (IFL 2006), Lecture Notes in Computer Science 4449, Springer, 2007. To appear

[BibTeX]

Call-by-value lambda calculus and LJQ

Roy Dyckhoff and Stéphane Lengrand. Journal of Logic and Computation 17 (6), Oxford U.P, 2007, pp. 1109--1134.

[BibTeX] [DOI]

Using Mean-Shift Tracking Algorithms for Real-Time Tracking of Moving Images on an Autonomous Vehicle Testbed Platform

Benjamin Gorry, Zezhi Chen, Kevin Hammond, Andy Wallace, and Greg Michaelson. IRMA 2007, International Conference on Intelligent Robotics and Manufacturing Automation, Venice, Italy, November 23-25, 2007, Proceedings of the World Academy of Science, Engineering and Technology 25, World Academy of Science, Engineering and Technology, 2007, pp. 356--361.

[BibTeX] [PDF] [URL]

Low-Level Programming in Hume: an Exploration of the HW-Hume Level

Kevin Hammond, Gudmund Grov, Greg Michaelson, and Andrew Ireland. Proc. Implementation of Functional Languages (IFL 2006), Lecture Notes in Computer Science 4449, Springer, 2007. To appear

[BibTeX]

Automatic Amortised Worst-Case Execution Time Analysis

Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, and Robert Pointon. 7th Int'l Workshop on Worst-Case Execution Time (WCET) Analysis, Proceedings, Pisa, Italy, July 3, 2007, 2007, pp. 13--18.

[BibTeX] [PDF] [URL]

Distribution Theorems in MV-algebras

R. Rothenberg. School of Computer Science, University of St Andrews Technical Report, January 2007.

[BibTeX] [PDF]

A class of theorems in Lukasiewicz logic for benchmarking automated theorem provers

Robert Rothenberg. TABLEAUX '07, Automated Reasoning with Analytic Tableaux and Related Methods, Position Papers, July 2007, Aix en Provence, France, N. Olivetti and C. Schwind (eds.) , 2007, pp. 101--111.

[BibTeX] [PDF]

Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs

Hugo R. Simões, Kevin Hammond, Mário Florido, and Pedro Vascolcelos. TYPES 2006, University of Nottingham, UK, 18-21 April 2006, Thorsten Altenkirch and Connor McBride (eds.) : Lecture Notes in Computer Science 4502, Springer, 2007, pp. 221--236.

[BibTeX] [DOI] [ISBN]

2006

A Dependently Typed Framework for Static Analysis of Program Execution Costs

Edwin Brady and Kevin Hammond. Implementation of Functional Languages (IFL) 2005, Lecture Notes in Computer Science 4015, Springer, Berlin/Heidelberg, 2006, pp. 74-90.

[BibTeX] [DOI] [PDF] [ISBN]

A Verified Staged Interpreter is a Verified Compiler: Multi-stage Programming with Dependent Types

Edwin Brady and Kevin Hammond. Generative Programming and Component Engineering, 5th International Conference (GPCE 2006), Portland, Portland, Oregon, USA, October 22-26, Stan Jarzabek, Douglas C. Schmidt, and Todd L. Veldhuizen (eds.) , ACM, 2006, pp. 111--120.

[BibTeX] [DOI] [PDF] [ISBN]

Strong Cut-Elimination for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic

Roy Dyckhoff, Delia Kesner, and Stéphane Lengrand. Automated Reasoning: Proc. of Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 2006, Ulrich Furbach and Natarajan Shankar (eds.) : Lecture Notes in Artificial Intelligence 4130, Springer, Berlin / Heidelberg, 2006, pp. 347-361.

[BibTeX] [DOI] [PDF] [ISBN]

LJQ, a Strongly Focused Calculus for Intuitionistic Logic

Roy Dyckhoff and Stéphane Lengrand. Logical Approaches to Computational Barriers: Proc. 2nd Conference on Computability in Europe, CiE 2006, Arnold Beckmann, Ulrich Berger, Benedikt Löwe, and John V. Tucker (eds.) : Lecture Notes in Computer Science 3988, Springer-Verlag, 2006, pp. 173-185.

[BibTeX] [DOI] [PDF] [URL] [ISBN]

Decision Methods for Linearly Ordered Heyting Algebras

Roy Dyckhoff and Sara Negri. Archive for Mathematical Logic 45 (4), May 2006, pp. 411-422.

[BibTeX] [DOI] [URL]

EmBounded: Formally Embedded Systems

The EmBounded Project. The House Magazine, Dods Parliamentary Communications, Ltd, November 2006. Advertisement.

[BibTeX] [PDF]

Some Constructions on Constructors

Healfdene Goguen, Conor McBride, and James McKinna. Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, Jean-Christophe Fillitiâtre, Christine Paulin-Mohring, and Benjamin Werner (eds.) : Lecture Notes in Computer Science 3839, Springer, 2006, pp. 186-200.

[BibTeX] [DOI] [PDF] [ISBN]

Eliminating Dependent Pattern Matching

Healfdene Goguen, Conor McBride, and James McKinna. Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Goguen Festschrift), Kokichi Futatsugi, Jean-Pierre Jouannaud, and José Meseguer (eds.) : Lecture Notes in Computer Science 4060, Springer, 2006, pp. 521-540.

[BibTeX] [DOI] [PDF] [ISBN]

Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: the Hume Approach

Kevin Hammond. First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures, Zoltán Horváth (ed.) : Lecture Notes in Computer Science 4164, Springer-Verlag, 2006, pp. 100-134.

[BibTeX] [DOI] [PDF] [ISBN]

The EmBounded project (project paper)

Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Jocelyn Sérot, and Andy Wallace. Proc. 6th Symposium on Trends in Functional Programming (TFP 2005), Tallinn, Estonia, 23-24 September 2005, Trends in Functional Programming 6, Intellect, 2006. To appear.

[BibTeX] [PDF]

Towards Formally Verifiable Resource Bounds for Real-Time Embedded Systems

Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hoffmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, and Andy Wallace. ACM SIGBED Review--- Special issues on Workshop on Innovative Techniques for Certification of Embedded Systems 2006 (ITCES06) 3 (4), October 2006, pp. 27--36.

[BibTeX] [DOI] [PDF]

Towards Formally Verifiable WCET Analysis for a Functional Programming Language

Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofman, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, and Andy Wallace. 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Frank Mueller (ed.) : Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany, 2006.

[BibTeX] [PDF] [URL]

Towards Hardware/Software Codesign: Exploring the HW-HumeLevel

Kevin Hammond, Greg Michaelson, and Gudmond Grov. Draft proceedings 18th International Symposium on Implementation and Application of Functional Programs, Budapest, Hungary, September 2006, Z. Horvath and V. Zsok (eds.) , 2006, pp. 99--114.

[BibTeX]

Programming Reactive Systems in Hume (Extended Abstract)

Kevin Hammond, Greg Michaelson, and Meng Sun. Proceedings of Symposium on Trends in Functional Programming, University of Nottingham, UK, 19-21 April, 2006, H. Nilsson and M van Eekling (eds.) : Trends in Functional Programming, Intellect, 2006. To appear.

[BibTeX] [PDF]

Bounded Space Programming using Finite State Machines and Recursive Functions: the Hume Approach

Kevin Hammond, Greg Michaelson, and Pedro Vasconcelos. ACM Transactions on Software Engineering Methodology (TOSEM), 2006. Submitted

[BibTeX] [PDF]

Formal methos for control engineering: a validated decision procedure for Nichols plot analysis

Ruth Hardy. PhD Thesis. University of St Andrews, 2006.

[BibTeX]

Type-Based Amortised Heap-Space Analysis.

Martin Hofmann and Steffen Jost. Programming Languages and Systems : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Peter Sestoft (ed.) : Lecture Notes in Computer Science 3924, Springer-Verlag, 2006, pp. 22-37.

[BibTeX] [DOI] [ISBN]

A Sequent Calculus for Type Theory

Stéphane Lengrand, Roy Dyckhoff, and James McKinna. Proc. for Computer Science Logic, CSL 2006, 25-29 September, 2006, Szeged, Hungary, Zoltán Ésik (ed.) : Lecture Notes in Computer Science 4207, Springer-Verlag, 2006, pp. 441-455.

[BibTeX] [DOI] [PDF] [ISBN]

Toward Resource Certified Image Processing Software

Greg Michaelson, Andy Wallace, Kevin Hammond, Iain Wallace, Armelle Bonenfant, and Zezhi Chen. Systems Engineering for Autonomous Systems Defence Technology Centre (SEAS DTC), Annual Technical Conference, July 2006, Edinburgh, Conference Proceedings, Edinburgh, UK MoD, 2006, pp. A15.

[BibTeX] [PDF] [URL]

An Hypersequent Calculus for Lukasiewicz Logic without the Merge Rule

Robert Rothenberg. Proc. 13th Workshop on Automated Reasoning (ARW), 3-4 April 2006, University of Bristol, UK, 2006, pp. 33--34.

[BibTeX] [PDF] [PS]

Adaptive Scheduling for the Grid

Yang Yang. Master's Thesis. University of St Andrews, 2006. To be submitted.

[BibTeX]

2005

Is it Time for Real-Time Functional Programming?

Kevin Hammond. Trends in Functional Programming, Volume 4, Stephen Gilmore (ed.) : Trends in Functional Programming 4, Intellect, 2005, pp. 1-14.

[BibTeX] [URL] [ISBN]

The EmBounded project (project paper)

Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Jocelyn Sérot, and Andy Wallace. Proc. 6th Symposium on Trends in Functional Programming (TFP 2005), Tallinn, Estonia, 23-24 September 2005, Institute of Cybernetics, 2005, pp. 220-235. Online

[BibTeX] [URL]

FSM-Hume is Finite State

Greg Michaelson, Kevin Hammond, and Jocelyn Sérot. Trends in Functional Programming, Volume 4, Stephen Gilmore (ed.) : Trends in Functional Programming 4, Intellect, 2005, pp. 19-28.

[BibTeX] [URL] [ISBN]

Real-Time Functional Programming

Meng Sun. Master's Thesis. University of St Andrews, 2005.

[BibTeX]

Time and Space Cost Modelling

Pedro Vasconcelos. PhD Thesis. University of St Andrews, 2005.

[BibTeX]

2004

Inductive Families need not store their Indices

Edwin Brady, Conor McBride, and James McKinna. Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers, Stefano Berardi, Mario Coppo, and Ferruccio Damiani (eds.) : Lecture Notes in Computer Science 3085, Springer, 2004, pp. 115-129.

[BibTeX] [DOI] [PDF] [PS] [ISBN]

The Design of Hume: a High-Level Language for the Real-Time Embedded Systems Domain

Kevin Hammond and Greg Michaelson. Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers, Lecture Notes in Computer Science 3016, Springer, 2004, pp. 127-147.

[BibTeX] [DOI] [EE] [ISBN]

A mechanised environment for Frege's Begriffsschrift notation

Rob Macinnis, James McKinna, Josh Parsons, and Roy Dyckhoff. Proc. Workshop on Mathematical User Interfaces 2004, Bialowieza, Poland, 18 September 2004, 2004.

[BibTeX] [PDF] [URL]

Functional pearl: I Am Not a Number; I Am a Free Variable

Conor McBride and James McKinna. Proceedings of the 2004 ACM SIGPLAN Haskell Workshop, Snowbird, Utah, USA, ACM Press, New York, 2004, pp. 1-9.

[BibTeX] [DOI] [PDF] [ISBN]

The view from the left

Conor McBride and James McKinna. Journal of Functional Programming 14 (1), Cambridge U. Press, 2004, pp. 69-111.

[BibTeX] [DOI] [PDF]

FSM-Hume: programming resource-limited systems using bounded automata.

Greg Michaelson, Kevin Hammond, and Jocelyn Sérot. Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, Hisham Haddad, Andrea Omicini, Roger L. Wainwright, and Lorie M. Liebrock (eds.) , 2004, pp. 1455-1461.

[BibTeX] [DOI] [PS]

2003

The Finite State-ness of FSM-Hume

Proceedings of Symposium on Trends in Functional Programming, Edinburgh, Scotland, September 2003, Edinburgh, Scotland, 2003.

[BibTeX] [PDF] [PS]

Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation

Roy Dyckhoff, and Christian Urban. Journal of Logic and Computation 13 (5), October 2003, pp. 689-706.

[BibTeX] [DOI] [PDF] [PS] [DVI] [URL]

An Abstract Machine for Resource-Bounded Computations in Hume

Kevin Hammond. September 2003 Submitted to Implementation of Functional Languages (IFL 2003)

[BibTeX] [PS]

Automatic Skeletons in Template Haskell.

Kevin Hammond, Jost Berthold, and Rita Loogen. Parallel Processing Letters 13 (3), September 2003, pp. 413-424.

[BibTeX] [DOI]

The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain.

Kevin Hammond and Greg Michaelson. Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers, Christian Lengauer, Don S. Batory, Charles Consel, and Martin Odersky (eds.) : Lecture Notes in Computer Science 3016, Springer, 2003, pp. 127-142.

[BibTeX] [DOI] [EE] [ISBN]

Hume: A Domain-Specific Language for Real-Time Embedded Systems.

Kevin Hammond and Greg Michaelson. Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings, Frank Pfenning and Yannis Smaragdakis (eds.) : Lecture Notes in Computer Science 2830, Springer, 2003, pp. 37-56.

[BibTeX] [DOI] [EE]

The Design of Hume: a High-Level Language for the Real-Time Embedded Systems Domain

Kevin Hammond and Greg Michaelson. April 2003 Submitted to Generative Programming for Domain Specific Languages

[BibTeX]

Inferring Costs for Recursive, Polymorphic and Higher-Order Functional Programs

Kevin Hammond and Pedro Vasconcelos. 2003 Submitted to 2004 ACM Symposium on Principles of Programming Languages -- POPL 2004

[BibTeX]

Static Prediction of Heap Space Usage for First-Order Functional Programs

Martin Hofmann and Steffen Jost. Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2003, pp. 185--197.

[BibTeX] [DOI] [PS] [URL]

Comparing Parallel Functional Languages: Programming and Performance

Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Peña, Steffen Priebe, Álvaro J. Rebón Portillo, and Philip W. Trinder. Higher-Order and Symbolic Computation 16 (3), Springer, Nederlands, September 2003, pp. 203-251.

[BibTeX] [DOI] [PS]

Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.

Pedro B. Vasconcelos and Kevin Hammond. Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, Philip W. Trinder, Greg Michaelson, and Ricardo Pena (eds.) : Lecture Notes in Computer Science 3145, Springer, 2003, pp. 86-101.

[BibTeX] [DOI] [EE]

2002

Trends in Functional Programming, Volume 3

Sharon Curtis and Kevin Hammond (eds.) : Trends in Functional Programming 3, Intellect, Bristol, 2002.

[BibTeX] [ISBN]

Parallel Programming: Models, Methods and Programming Languages.

Kevin Hammond. Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, Burkhard Monien and Rainer Feldmann (eds.) : Lecture Notes in Computer Science 2400, Springer, 2002, pp. 603-604.

[BibTeX] [EE] [URL]

Predictable Space Behaviour in FSM-Hume.

Kevin Hammond and Greg Michaelson. Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, Ricardo Peña and Thomas Arts (eds.) : Lecture Notes in Computer Science 2670, Springer, 2002, pp. 1-16.

[BibTeX] [EE] [URL] [ISBN]

Parallelising large irregular programs: an experience with Naira

Sahalu B. Junaidu and Philip W. Trinder. Inf. Sci. 140 (3-4), 2002, pp. 229-240.

[BibTeX]

Cost Analysis Using Automatic Size and Time Inference

Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, and Pedro B. Vasconcelos. Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers, Ricardo Pena and Thomas Arts (eds.) : Lecture Notes in Computer Science 2670, Springer, 2002, pp. 232-248.

[BibTeX] [EE] [PS] [URL] [ISBN]

2001

Admissibility of structural rules for extensions of contraction-free sequent calculi

Roy Dyckhoff and Sara Negri. Logic Journal of the IGPL 9 (4), July 2001, pp. 573-581.

[BibTeX] [DOI] [PDF] [PS] [DVI]

Strong normalization of Herbelins explicit substitution calculi with substitution propagation (revised version)

Roy Dyckhoff, and Christian Urban. Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP 01), Utrecht, May 20, 2001, Pierre Lescanne (ed.) : Logic Group Preprint 210, Institute of Philosophy, University of Utrachet, 2001.

[BibTeX] [PDF] [PS] [ISBN]

The Dynamic Properties of Hume: a Functionally-Based Concurrent Language with Bounded Time and Space Behaviour

Kevin Hammond. Implementation of Functional Languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000, Selected Papers, Lecture Notes in Computer Science 2011, Springer, 2001, pp. 122.

[BibTeX] [EE] [ISBN]

The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour

Kevin Hammond. Implementation of Functional Languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 4-7, 2000, Selected Papers, Lecture Notes in Computer Science 2011, Springer, 2001, pp. 122.

[BibTeX] [EE]

2000

Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings

R. Dyckhoff (ed.) : Lecture Notes in Computer Science 1847, Springer, 2000.

[BibTeX] [DOI] [ISBN]

Parallel Heuristic Search in Haskell

Michelle Cope, Ian Gent, and Kevin Hammond. Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000, Stephen Gilmore (ed.) : Trends in Functional Programming 2, Intellect, 2000, pp. 65-76.

[BibTeX] [PDF] [ISBN]

Efficient Persistent Haskell

A.J.T. Davie, K. Hammond, and J. Quintela. February 2000

[BibTeX] [PS]

Hume: a Concurrent Language with Bounded Time and Space Behaviour

Kevin Hammond. Proc. 7th IEEE International Conference on Electronic Control Systems (ICECS 2K), Lebanon, 2000, pp. 407-411.

[BibTeX] [PS] [ISBN]

The HasPar Performance Evaluation Suite for GpH: a Parallel Non-Strict Functional Language

Kevin Hammond, D.J. King, Hans-Wolfgang Loidl, Álvaro J. Rebón Portillo, and Philip Trinder. Software --- Practice and Experience, February 2000. Submitted for publication

[BibTeX] [PS]

GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster

Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, and Philip W. Trinder. Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000, Stephen Gilmore (ed.) : Trends in Functional Programming 2, Intellect, 2000, pp. 39-52.

[BibTeX] [PS] [ISBN]

The Multi-Architecture Performance of the Parallel Functional Language GP H (Research Note).

Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr, Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, and Álvaro J. Rebón Portillo. Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Arndt Bode, Thomas Ludwig, Wolfgang Karl, and Roland Wismüller (eds.) : Lecture Notes in Computer Science 1900, Springer, 2000, pp. 739-743.

[BibTeX] [EE] [PS] [ISBN]

1999

Implementation of Functional Languages, 10th International Workshop, IFL 1998, London, UK, September 9-11, Selected Papers

Kevin Hammond, Antony J. T. Davie, and Chris Clack (eds.) : Lecture Notes in Computer Science 1595, Springer, 1999.

[BibTeX] [EE] [ISBN]

Research Directions in Parallel Functional Programming

Kevin Hammond and Greg Michaelson (eds.) , Springer-Verlag, 1999.

[BibTeX] [URL] [ISBN]

Evaluation Strategies for Irregular Parallel Programming

Kevin Hammond. International Workshop on Parallel and Distributed Symbolic Irregular Applications (PDSCIA 1999), Sendai, Japan, T. Ito and T. Yuasa (eds.) , World Scientific, 1999, pp. 56-71.

[BibTeX] [ISBN]

HaskSkel: Algorithmic Skeletons in Haskell.

Kevin Hammond and Álvaro J. Rebón Portillo. Implementation of Functional Languages, 11th International Workshop, IFL 1999, Lochem, The Netherlands, September 7-10, 1999, Selected Papers, Pieter W. M. Koopman and Chris Clack (eds.) : Lecture Notes in Computer Science 1868, Springer, 1999, pp. 181-198.

[BibTeX] [ISBN]

Engineering parallel symbolic programs in GpH

Hans-Wolfgang Loidl, Philip Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, and Simon L. Peyton Jones. Concurrency: Practice and Experience 11 (12), October 1999, pp. 701-752.

[BibTeX] [DOI] [PS] [URL]

1998

Implementation of Functional Languages, 9th International Workshop, IFL 1997, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers

Chris Clack, Kevin Hammond, and Antony J. T. Davie (eds.) : Lecture Notes in Computer Science 1467, Springer, 1998.

[BibTeX] [DOI] [EE] [ISBN]

Efficient Persistent Haskell

A. Davie, K. Hammond, and J. Quintela. 1998

[BibTeX] [URL]

Strategic SPMD

Kevin Hammond. Glasgow Workshop on Functional Programming, Pitlochry, Scotland, 1998.

[BibTeX] [PS] [URL]

Juaskell: Implementing Evaluation Strategies in Java

Kevin Hammond and David H. Walsh-Kemmis, Recife, Brazil, 1998. Submitted to the 3rd Latin-American Conference on Functional Programming (ClaPF '99)

[BibTeX] [PS] [URL]

Proof Search Issues in Some Non-Classical Logics

J. Howe. 1998

[BibTeX] [URL]

A Parallel Functional Language Compiler for Message-Passing Multicomputers

Sahalu B. Junaidu. PhD Thesis. Division of Computing Science, University of St Andrews, March 1998.

[BibTeX] [PS]

Naira: A Parallel Haskell Compiler.

Sahalu Junaidu, Antony J. T. Davie, and Kevin Hammond. Implementation of Functional Languages, 9th International Workshop, IFL 1997, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers, Chris Clack, Kevin Hammond, and Antony J. T. Davie (eds.) : Lecture Notes in Computer Science 1467, Springer, 1998, pp. 214-230.

[BibTeX] [DOI] [EE] [ISBN]

Granularity in Large-Scale Parallel Functional Programming

Hans-Wolfgang Loidl. PhD Thesis. Department of Computing Science, University of Glasgow, March 1998.

[BibTeX] [PS]

Parallelising a Large Functional Program or: Keeping LOLITA Busy

Hans-Wolfgang Loidl, Richard Morgan, Phil Trinder, Sanjay Poria, Chris Cooper, Simon Peyton Jones, and Roberto Garigliano. Implementation of Functional Languages, 9th International Workshop, IFL 1997, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers, Chris Clack, Kevin Hammond, and Antony J. T. Davie (eds.) : Lecture Notes in Computer Science 1467, Springer, 1998, pp. 198.

[BibTeX] [DOI] [PS] [ISBN]

Engineering large parallel functional programs

Hans-Wolfgang Loidl and Phil Trinder. Implementation of Functional Languages, 9th International Workshop, IFL 1997, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers, Chris Clack, Kevin Hammond, and Antony J. T. Davie (eds.) : Lecture Notes in Computer Science 1467, Springer, 1998, pp. 178-197.

[BibTeX] [DOI] [ISBN]

Low level Architecture-independence of Glasgow Parallel Haskell (GpH)

Philip W. Trinder, Ed. Barry Jr, M. Kei Davis, Kevin Hammond, Sahalu B. Junaidu, Ulrike Klusik, Hans-Wolfgang Loidl, and and Simon L. Peyton Jones. Glasgow Functional Programming Workshop, Pitlochry, Scotland, 1998.

[BibTeX] [PS] [URL]

GpH: An Architecture-Independent Functional Language

Philip W. Trinder, Ed. Barry Jr, M. Kei Davis, Kevin Hammond, Sahalu B. Junaidu, Ulrike Klusik, Hans-Wolfgang Loidl, and and Simon L. Peyton Jones. July 1998 Submitted to IEEE Transactions on Software Engineering, special issue on Architecture-Independent Languages and Software Tools for Parallel Processing

[BibTeX] [PS] [URL]

Algorithm + strategy = parallelism

Philip Trinder, Kevin Hammond, Hans-Wolfgang Loidl, and Simon Peyton Jones. Journal of Functional Programming 8 (1), January 1998, pp. 23-60.

[BibTeX] [DOI] [PS] [URL]

1997

Dragalin's proofs of cut-admissibility for the intuitionistic sequent calculi snG3i and snG3ip

R. Dyckhoff. Computer Science Division, St Andrews University Technical Report CS 97/8, 1997.

[BibTeX] [PDF] [URL]

Refining a parallel algorithm for calculating bowings

Cordelia Hall, Kevin Hammond, Hans-Wolfgang Loidl, John O'Donnell, and Philip Trinder. Proc. 10th Glasgow Functional Programming Workshop, Ullapool, Scotland, 1997.

[BibTeX] [PS] [URL]

Parallel Cost Centre Profiling

Kevin Hammond, Hans-Wolfgang Loidl and Philip Trinder. Proc. 10th Glasgow Functional Programming Workshop, Ullapool, Scotland, 1997.

[BibTeX] [PS]

Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer

Hans-Wolfgang Loidl and Kevin Hammond. International Workshop on the Implementation of Functional Languages, Werner Kluge (ed.) : Lecture Notes in Computer Science 1268, Springer-Verlag, Bonn/Bad-Godesberg, Germany, 1997, pp. 184--199.

[BibTeX] [DOI] [EE] [PS] [URL] [ISBN]

Go-faster Haskell, or: Data-intensive Programming in Parallel Haskell

Philip Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon Peyton Jones, and J. Wu. Proc. 10th Glasgow Functional Programming Workshop, Ullapool, 1997. Draft

[BibTeX] [PS]

1996

Functional Hypersheets (Extended Abstract)

Anthony Davie and Kevin Hammond. Proc. 9th Glasgow Functional Programming Workshop, Ullapool, 1996.

[BibTeX] [PDF] [PS] [URL]

Type classes in Haskell

Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, and Philip L. Wadler. ACM Trans. Program. Lang. Syst. 18 (2), ACM Press, New York, NY, USA, 1996, pp. 109-138.

[BibTeX] [DOI] [URL]

Implementation on a parallel machine

Kevin Hammond. Applications of functional programming, Colin Runciman and David Wakeling (eds.) , UCL Press Ltd, London, UK, UK, 1996, pp. 177-190.

[BibTeX] [ISBN]

Database Manipulation in Haskell 1.3.

Kevin Hammond and Philip W. Trinder. Functional Programming, Glasgow 1995, Ullapool, Scotland, David N. Turner (ed.) : Workshops in Computing, Springer, 1996, pp. 5.

[BibTeX] [ISBN]

A Functional Perspective of Bulk Data Types

Kevin Hammond and Philip Trinder. Functional Programming, Glasgow 1995, David N. Turner (ed.) : Workshops in Computing, Springer, 1996.

[BibTeX] [ISBN]

Benchmarking implementations of functional languages with 'Pseudoknot', a float-intensive benchmark

Pieter H Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Meemster, Emmanuel Chailloux, Christine H Flood, Wolfgang Grieskamp, John H G Van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y Ivory, Richard E Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael D Lins, Sandra Loosemore, Niklas Rojemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, and Peter Wentworth. Journal of Functional Programming 6 (4), July 1996, pp. 621-655.

[BibTeX] [URL]

Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop Checking

J. Howe. Computer Science Division, St Andrews University Technical Report CS 96/12, 1996.

[BibTeX] [URL]

On the Granularity of Divide-and-Conquer Parallelism.

Hans-Wolfgang Loidl and Kevin Hammond. Functional Programming, Glasgow 1995, Ullapool, Scotland, David N. Turner (ed.) : Workshops in Computing, Springer, 1996, pp. 8.

[BibTeX] [PS] [ISBN]

A Sized Time System for a Parallel Functional Language

Hans-Wolfgang Loidl and Kevin Hammond. Proc. 9th Glasgow Functional Programming Workshop, Ullapool, Scotland, 1996.

[BibTeX] [PDF] [PS]

GUM: a portable parallel implementation of Haskell

P. W. Trinder; K. Hammond; J. S. Mattson, Jr; A. S. Partridge; and S. L. Peyton Jones. PLDI 1996: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, Philadelphia, Pennsylvania, United States, ACM Press, New York, NY, USA, 1996, pp. 79--88.

[BibTeX] [DOI] [PS] [URL] [ISBN]

Accidents always Come in Threes: A Case Study of Data-intensive Programs in Parallel Haskell

Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones, and J. Wu. Proceedings of the Glasgow Workshop on Functional Programming, Ullapool, Scotland, 1996.

[BibTeX] [PDF] [PS] [URL]

1995

Proc. 1994 Glasgow Workshop on Functional Programming

Kevin Hammond, P. Sansom, and David Turner (eds.) : Workshops in Computing, Springer-Verlag, 1995.

[BibTeX] [ISBN]

Process Semantics of Graph Reduction

S. Brock and G.A. Ostheimer. University of St Andrews Technical Report CS/95/2, March 1995.

[BibTeX] [PS] [URL]

A process semantics for functional programming.

Simon Brock and Gerald Ostheimer. Electr. Notes Theor. Comput. Sci. 2, 1995.

[BibTeX] [EE]

Monadic I/O in Haskell 1.3

Andrew D. Gordon and Kevin Hammond. Proc. 1995 Workshop on Future Directions in Haskell, La Jolla, California, 1995.

[BibTeX] [URL]

Visualising Granularity in Parallel Programs: A Graphical Winnowing System for Haskell

Kevin Hammond, Hans-Wolfgang Loidl, and Andrew Partridge. Conference on High Performance Functional Computing, Denver, Colorado, 1995, pp. 208--221.

[BibTeX] [PS]

GUM: a portable implementation of Haskell

Philip W. Trinder, Kevin Hammond, James S. Mattson Jr, Andrew S. Partridge, and Simon L. Peyton Jones. International Workshop on the Implementation of Functional Languages, Bastad, Sweden, 1995.

[BibTeX] [PS] [URL]

1994

Proc. 1993 Glasgow Workshop on Functional Programming

Kevin Hammond and John O'Donnel (eds.) : Workshops in Computing, Springer-Verlag, 1994.

[BibTeX] [ISBN]

Parallel Functional Programming: an Introduction

Kevin Hammond. Parallel Symbolic Computation PASCO, 1994: Proceedings of the First International Symposium, Castle Hagenburg, RISC-LINZ, Austria, Howard V. Hong (ed.) , World Scientific Publishing Co, Inc, River Edge, NJ, USA, 1994, pp. 181-193.

[BibTeX] [PS] [ISBN]

Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer

Kevin Hammond, James S. Mattson Jr, and Simon L. Peyton Jones. Conference on Algorithms and Hardware for Parallel Processing, Linz, Austria, LNCS 854, Springer-Verlag, 1994.

[BibTeX] [PS] [URL]

Imperate: Be imperative

Kevin Hammond, Philip Wadler, and Donald Brady. Technical Report, 1994.

[BibTeX] [URL]

GRAPHing the Future

Hans-Wolfgang Loidl and Kevin Hammond. International Workshop on the Implementation of Functional Languages, Norwich, England, 1994.

[BibTeX] [PS] [URL]

GRAPH for PVM: Graph Reduction for Distributed Hardware

Hans-Wolfgang Loidl and Kevin Hammond. International Workshop on the Implementation of Functional Languages, Norwich, England, 1994.

[BibTeX] [PS] [URL]

Load Bounding for Implicit Parallelism

G.A. Ostheimer and A.J.T. Davie. University of St Andrews Technical Report CS/94/11, 1994. First presented at the Fourth International Workshop on the Parallel Implementation of Functional Languages, Aachen, Germany, September 1992.

[BibTeX] [PS]

1993

Processing Transactions on GRIP

G. Akerholt, Kevin Hammond, Simon L. Peyton Jones, and Philip W. Trinder. Parallel Languages and Architectures Europe, Munich, Germany, 1993.

[BibTeX] [PS] [URL]

The Glasgow Haskell Compiler: A Retrospective

Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, and Philip Wadler. Proceedings of the 1992 Glasgow Workshop on Functional Programming, Springer-Verlag, London, UK, 1993, pp. 62--71.

[BibTeX] [ISBN]

Getting a GRIP

Kevin Hammond. International Workshop on the Parallel Implementation of Functional Languages, Nijmegen, The Netherlands, 1993.

[BibTeX] [PS] [URL]

Spiking Your Caches

Kevin Hammond, Geoffrey L. Burn, and Denis B. Howe. Proc. 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, Kevin Hammond and John T. O'Donnell (eds.) , Springer-Verlag, 1993, pp. 58--68.

[BibTeX] [URL]

Improving Persistent Data Manipulation for Functional Languages

Kevin Hammond, Dave McNally, Patrick M. Sansom, and Philip W. Trinder. Proceedings of the 1992 Glasgow Workshop on Functional Programming, Springer-Verlag, London, UK, 1993, pp. 72--84.

[BibTeX] [ISBN]

The Glasgow Haskell compiler: a technical overview

Simon L. Peyton Jones, Cordelia V. Hall, Kevin Hammond, Will Partain, and Philip Wadler. Proc. UK Joint Framework for Information Technology (JFIT) Technical Conference, 1993.

[BibTeX] [URL]

The Glasgow Haskell compiler: a technical overview

Simon L. Peyton Jones, Cordelia V. Hall, Kevin Hammond, Will Partain, and Philip Wadler. Proc. UK Joint Framework for Information Technology (JFIT) Technical Conference, 1993.

[BibTeX] [URL]

Final report on the GRASP project

Simon L. Peyton Jones, Philip Wadler, Cordelia Hall, Kevin Hammond, and Will Partain. 1993

[BibTeX] [URL]

Models for Persistence in Lazy Functional Programming Systems

D. McNally. PhD Thesis. University of St Andrews, 1993.

[BibTeX] [URL]

Models for Persistence in Lazy Functional Programming Systems

D. McNally. Technical Report CS/93/9, 1993.

[BibTeX] [URL]

Parallel Functional Programming for Message-Passing Multiprocessors

G. Ostheimer. PhD Thesis. University of St Andrews, 1993.

[BibTeX] [URL]

Parallel Functional Programming for Message-Passing Multiprocessors

G. Ostheimer. Technical Report CS-93-8, 1993.

[BibTeX] [URL]

Parallel Functional Programming for Message-Passing Multicomputers

G. Ostheimer. PhD Thesis. University of St Andrews, 1993.

[BibTeX]

Pi-Calculus Characterizations of Some Practical Lambda-Calculus Reduction Strategies

Ostheimer, G. and Davie, A.J.T. Technical Report 93/14, Division of Computer Science, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland, October 1993.

[BibTeX] [URL]

Modelling Parallel Graph Reduction in the Pi-Calculus

Ostheimer, G. and Davie, A.J.T. Int. Workshop on the Implementation of Functional Languages, Plasmeijer, R. and van Eekelen, M. (eds.) , TR 93-21, Computing Science Institute, Katholieke Universiteit Nijmegen, Division of Computer Science, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland, 1993, pp. 193-207.

[BibTeX] [URL]

Pi-Calculus Characterizations of Some Practical Lambda-Calculus Reduction Strategies

G. Ostheimer and A.J.T. Davie. Technical Report 93/14, Division of Computer Science, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland, October 1993.

[BibTeX] [URL]

1992

A Parallel Functional Database for GRIP

Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, and Philip W. Trinder. Proceedings of the 1991 Glasgow Workshop on Functional Programming, Springer-Verlag, London, UK, 1992, pp. 1--24.

[BibTeX] [URL] [ISBN]

A Dynamic Semantics for Haskell (Draft)

Kevin Hammond and Cordelia Hall. 1992

[BibTeX] [URL]

Profiling Scheduling Strategies on the GRIP Multiprocessor

Kevin Hammond and Simon L. Peyton Jones. International. Workshop on the Parallel Implementation of Functional Languages, RWTH Aachen, Germany, 1992, pp. 73--98.

[BibTeX] [PS] [URL]

Load Bounding for Implicit Parallelism

G. Ostheimer. Proceedings of the 4th Int. Workshop on the Parallel Implementation of Functional Languages, 1992.

[BibTeX] [URL]

1991

Efficient Type Inference Using Monads

Kevin Hammond. Proc. 1991 Workshop on Functional Programming, Springer-Verlag, 1991, pp. 146-157.

[BibTeX]

Parallel SML: A functional language and its implementation in Dactl

Kevin Hammond. Research monographs in parallel and distributed computing, Pitman/MIT Press, 1991.

[BibTeX] [ISBN]

Two Models For Integrating Persistence and Lazy Functional Languages.

David J. McNally and Antony J. T. Davie. SIGPLAN Notices 26 (5), 1991, pp. 43-52.

[BibTeX] [URL]

Parallel Functional Computation on STAR:DUST

G. Ostheimer. Workshop on the Parallel Implementation of Functional Languages, Glaser, H. and Hartel, P. (eds.) , CSTR 91-07, Department of Electronics and Computer Science, University of Southampton, Division of Computer Science, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland, 1991, pp. 393-407.

[BibTeX] [URL]

1990

An algorithmic and semantic approach to debugging

Cordelia Hall, Kevin Hammond, and John O'Donnell. Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990, pp. 44--53.

[BibTeX]

Efficient Type Inference Using Monads (DRAFT)

Kevin Hammond. 1990

[BibTeX] [URL]

Some Early Experiments on the GRIP Parallel Reducer

Kevin Hammond and Simon L. Peyton Jones. International Workshop on the Parallel Implementation of Functional Languages, Nijmegen, The Netherlands, 1990, pp. 51--72.

[BibTeX] [PS] [URL]

Persistent Functional Programming.

David J. McNally, Stef Joosten, and Antony J. T. Davie. Implementing Persistent Object Bases, Principles and Practice, Proceedings of the Fourth International Workshop on Persistent Objects (POS), 23-27 September 1990, Martha's Vineyard, MA, USA, Alan Dearle, Gail M. Shaw, and Stanley B. Zdonik (eds.) , Morgan Kaufmann, 1990, pp. 62-73.

[BibTeX] [ISBN]

1989

CASE - A Lazy Version of an SECD Machine with a Flat Environment

A. J. T. Davie and D. J. McNally. Proceedings of the IEEE TENCON '89, Bombay, IEEE, New York, NY, 1989.

[BibTeX] [URL]

1988

A Scheme for Compiling Functional Programs

D.J. McNally, A.J.T. Davie, and A. Dearle. Proceedings of the 2nd International Workshop on the Implementation of Functional Programming Languages, Aspens, Sweden, 1988.

[BibTeX] [URL]

[Back to top of this page]

This page was last modified on Friday 22 August 2008 13:24:57. This site is maintained by Robert Rothenberg (r r at cs dot st-andrews dot ac dot uk).