Abstract is missing.
- Uniqueness Typing in Natural Deduction StyleErik Barendsen, Sjaak Smetsers. 1
- Towards a Purely Functional Debugger for Functional ProgramsSimon P. Booth, Simon B. Jones. 1
- Integrating Multithreading into the Spineless Tagless G-machineManuel M. T. Chakravarty. 2
- Towards a Declarative Language for Parallel and Concurrent ProgrammingSilvia Breitinger, Rita Loogen. 2
- Supporting Reasoning about Functional Programs: An Operational ApproachGraham Collins. 3
- Algebraic Formula Manipulation in a Functional Language: A First AttemptAntony J. T. Davie. 3
- Picture: A Simple Structured Graphics ModelSigbjorn Finne, Simon L. Peyton Jones. 4
- The Technology Behind a Graphical User Interface for an Equational Reasoning AssistantAndy Gill. 4
- A Lazy, Self-optimizing Parallel Matrix LibrarySimon Govier, Paul H. J. Kelly. 5
- Database Manipulation in Haskell 1.3Kevin Hammond, Philip W. Trinder. 5
- The Brisk Project: Concurrent and Distributed Functional SystemsIan Holyer, Neil Davies, Chris Dornan. 6
- Type Reconstruction for SCIHoward Huang, Uday S. Reddy. 6
- Using Types to Parse Natural LanguageMark P. Jones, Paul Hudak, Sebastian Shaumyan. 7
- Experiences with Clean I/OSimon B. Jones. 7
- A Functional Logic Language Based on Higher Order NarrowingHerbert Kuchen. 8
- On the Granularity of Divide-and-Conquer ParallelismHans-Wolfgang Loidl, Kevin Hammond. 8
- Formal Specification of Interconnection NetworksJohn O Donnell, Gudula Rünger. 9