Functional Programming 1995: Ullapool, Wester Ross, Scotland, UK

@proceedings{DBLP:conf/fp/1995,
  editor    = {David N. Turner},
  title     = {Functional Programming, Glasgow 1995},
  booktitle = {Functional Programming},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1996},
  isbn      = {3-540-14580-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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