David N. Turner (Ed.):
Functional Programming, Glasgow 1995.
Workshops in Computing Springer 1996, ISBN 3-540-14580-X 
http://ewic.bcs.org/conferences/1995/functional/index.htm"
- Erik Barendsen, Sjaak Smetsers:
Uniqueness Typing in Natural Deduction Style.
1
- Simon P. Booth, Simon B. Jones:
Towards a Purely Functional Debugger for Functional Programs.
1
- Silvia Breitinger, Rita Loogen:
Towards a Declarative Language for Parallel and Concurrent Programming.
2
- Manuel M. T. Chakravarty:
Integrating Multithreading into the Spineless Tagless G-machine.
2
- Graham Collins:
Supporting Reasoning about Functional Programs: An Operational Approach.
3
- Antony J. T. Davie:
Algebraic Formula Manipulation in a Functional Language: A First Attempt.
3
- Sigbjorn Finne, Simon L. Peyton Jones:
Picture: A Simple Structured Graphics Model.
4
- Andy Gill:
The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant.
4
- Simon Govier, Paul H. J. Kelly:
A Lazy, Self-optimizing Parallel Matrix Library.
5
- Kevin Hammond, Philip W. Trinder:
Database Manipulation in Haskell 1.3.
5
- Ian Holyer, Neil Davies, Chris Dornan:
The Brisk Project: Concurrent and Distributed Functional Systems.
6
- Howard Huang, Uday S. Reddy:
Type Reconstruction for SCI.
6
- Simon B. Jones:
Experiences with Clean I/O.
7
- Mark P. Jones, Paul Hudak, Sebastian Shaumyan:
Using Types to Parse Natural Language.
7
- Herbert Kuchen:
A Functional Logic Language Based on Higher Order Narrowing.
8
- Hans-Wolfgang Loidl, Kevin Hammond:
On the Granularity of Divide-and-Conquer Parallelism.
8
- John O'Donnell, Gudula Rünger:
Formal Specification of Interconnection Networks.
9
Last update Wed May 22 23:33:27 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
