1. SFP 1999: Bridge of Allan, Scotland, UK

@proceedings{DBLP:conf/sfp/1999,
  editor    = {Philip W. Trinder and
               Greg Michaelson and
               Hans-Wolfgang Loidl},
  title     = {Selected papers from the 1st Scottish Functional Programming
               Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland,
               August 29th to September 1st, 1999},
  booktitle = {Scottish Functional Programming Workshop},
  publisher = {Intellect},
  series    = {Trends in Functional Programming},
  volume    = {1},
  year      = {2000},
  isbn      = {1-84150-024-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Ulrike Klusik, Ricardo Pena, Clara Segura: Bypassing of Channels in Eden. 2-10 BibTeX
• Felix Hernandez, Ricardo Pena, Fernando Rubio: From GranSim to Paradise. 11-19 BibTeX
• Yasushi Hayashi, Murray Cole: BSP-based Cost Analysis of Skeletal Programs. 20-28 BibTeX
• Olivier Ballereau, Frédéric Loulergue, Gaétan Hains: High Level BSP Programming: BSML and BSlambda. 29-40 BibTeX
• Stephen Gilmore: Deep Type Inference for Mobile Functions. 41-49 BibTeX
• Bruce J. McAdam: Generalising Techniques for Type Debugging. 50-58 BibTeX
• Jun Yang: Explaining Type Errors by Finding the Source of a Type Conflict. 59-67 BibTeX
• Manfred Widera, Christoph Beierle: How to Combine the Benefits of Strict and Soft Typing. 68-78 BibTeX
• Mark Green, Ali E. Abdallah: Interfacing Java with Haskell. 79-88 BibTeX
• Christopher D. Walton: An Abstract Machine for Memory Management. 89-97 BibTeX
• Marco T. Morazán, Douglas R. Troeger: The MT Architecture and Allocation Algorithm. 98-105 BibTeX
• Gyun Woo, Taisook Han: ZG-machine: a Space-Efficient G-machine. 106-115 BibTeX
• Fethi A. Rabhi, Guy Lapalme, Albert Y. Zomaya: A Functional Design Framework for Genetic Algorithms. 116-125 BibTeX
• Paul Baker, Clive Jervis, David J. King: An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications. 126-134 BibTeX
• Walter Dosch, Bernd Wiedemann: List Homomorphisms with Accumulation and Indexing. 135-143 BibTeX
• Ralf Lämmel: Reuse by Program Transformation. 144-153 BibTeX
• Clement A. Baker-Finch: An Abstract Machine for Parallel Lazy Evaluation. 154-160 BibTeX