Functional Programming

Keyphrases

Publications

1996

Functional Programming, Glasgow, UK, 1995 Functional Programming (1996)

1995

Kevin Hammond, Philip W. Trinder
Database Manipulation in Haskell 1.3. Functional Programming (1995)
Simon Govier, Paul H. J. Kelly
A Lazy, Self-optimizing Parallel Matrix Library. Functional Programming (1995)
Andy Gill
The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. Functional Programming (1995)
Howard Huang, Uday S. Reddy
Type Reconstruction for SCI. Functional Programming (1995)
Sigbjørn Finne, Simon L. Peyton Jones
Picture: A Simple Structured Graphics Model. Functional Programming (1995)
John O'Donnell, Gudula Rünger
Formal Specification of Interconnection Networks. Functional Programming (1995)
Ian Holyer, Neil Davies, Chris Dornan
The Brisk Project: Concurrent and Distributed Functional Systems. Functional Programming (1995)
Manuel M. T. Chakravarty
Integrating Multithreading into the Spineless Tagless G-machine. Functional Programming (1995)
Silvia Breitinger, Rita Loogen
Towards a Declarative Language for Parallel and Concurrent Programming. Functional Programming (1995)
Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994 Functional Programming (1995)
Antony J. T. Davie
Algebraic Formula Manipulation in a Functional Language: A First Attempt. Functional Programming (1995)
Simon P. Booth, Simon B. Jones
Towards a Purely Functional Debugger for Functional Programs. Functional Programming (1995)
Graham Collins
Supporting Reasoning about Functional Programs: An Operational Approach. Functional Programming (1995)
Simon B. Jones
Experiences with Clean I/O. Functional Programming (1995)
Herbert Kuchen
A Functional Logic Language Based on Higher Order Narrowing. Functional Programming (1995)
Hans-Wolfgang Loidl, Kevin Hammond
On the Granularity of Divide-and-Conquer Parallelism. Functional Programming (1995)
Erik Barendsen, Sjaak Smetsers
Uniqueness Typing in Natural Deduction Style. Functional Programming (1995)
Mark P. Jones, Paul Hudak, Sebastian Shaumyan
Using Types to Parse Natural Language. Functional Programming (1995)

1994

1993