Glasgow FP Workshop 1995

Programme

Here is the preliminary FP workshop programme. Please note the short talks (15 minutes + 5 minutes questions). Please get back to me with any scheduling problems, additional offers of talks, etc. as soon as possible.

Dave N. Turner

Monday 10th July

Session 1: Chair -- Phil Wadler

9.00: INTRODUCTION
9.20: "Using Types to Parse Natural Language"
Mark P. Jones, Paul Hudak, Sebastian Shaumyan, Crystal James and Peilin Jia
9.40: "Towards a Purely Functional Debugger for Functional Programs"
Simon B. Jones and Simon P. Booth
10.00: COFFEE

Session 2: Chair -- John O'Donnell

11.00: "Bisimilarity for a Non-Deterministic Lambda-Calculus"
Andrew D. Gordon
11.20: "A Definitional Approach to Equational Reasoning"
Graham Collins
11.40: "Eliminating the overheads of polymorphism"
Patrick Sansom
12.00: LUNCH

Session 3: Chair -- Paul Kelly

14.00: "Pictures: A simple structured graphics model"
Sigbjorn Finne and Simon Peyton Jones
14.20: "On the Granularity of Divide-and-Conquer Parallelism"
K. Hammond and H.-W. Loidl
14.40: "Towards a Declarative Language for Parallel and Concurrent Programming"
Silvia Breitinger, Rita Loogen and Yolanda Ortega-Mallen
15.00: COFFEE

Session 4: Chair -- Paul Hudak

16.00: "A Graphical User Interface for an Equational Reasoning Assistant"
Andy Gill
16.20: "The Price of Laziness"
Simon Peyton Jones

Tuesday 12th July

Session 5: Chair -- Kevin Hammond

9.00: "Uniqueness Typing in Natural Deduction Style"
Erik Barendsen and Sjaak Smetsers
9.20: "Experiences with Clean I/O"
Simon B. Jones
9.40: "Explicit control of speculative evaluation"
Andrew Partridge
10.00: COFFEE

Session 6: Chair -- Simon Peyton Jones

11.00: "Type Reconstruction for SCI"
Howard Huang and Uday Reddy
11.20: "The Brisk Project: Concurrent and Distributed Functional Systems"
Ian Holyer, Neil Davies and Chris Dornan
11.40: "Integrating Multithreading into the Spineless Tagless G-machine"
Manual M. T. Chakravarty
12.00: LUNCH

Wenesday 12th July

Session 7: Chair -- Andrew Gordon

9.00: "A Lazy, Self-Optimising Parallel Matrix Library"
Simon Govier and Paul H. J. Kelly
9.20: "Formal specification of the Fat-tree network"
John O'Donnell and Gudula Ruenger
9.40: "Algebraic Formula Manipulation in a Functional Language: A First Attempt"
Tony Davie
10.00: COFFEE

Session 8: Chair -- Ian Holyer

11.00: A Network Communication Interface for Haskell
Darren J. Moffat and Satnam Singh
11.20: A Functional Logic Language Based on Higher Order Narrowing
Herbert Kuchen
11.40: Implementing relational databases using Haskell 1.3
K. Hammond and P. W. Trinder
12.00: LUNCH

Back to Glasgow FP Workshops.