2. SFP 2000: St Andrews, Scotland, UK

@proceedings{DBLP:conf/sfp/2000,
  editor    = {Stephen Gilmore},
  title     = {Selected papers from the 2nd Scottish Functional Programming
               Workshop (SFP00), University of St Andrews, Scotland, July 26th
               to 28th, 2000},
  booktitle = {Scottish Functional Programming Workshop},
  publisher = {Intellect},
  series    = {Trends in Functional Programming},
  volume    = {2},
  year      = {2000},
  isbn      = {1-84150-058-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Karl-Filip Faxén: The costs and benefits of cloning in a lazy functional language. 1-12
• Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura: Optimising Eden by transformation. 13-26
• Deryck F. Brown, A. Beatriz Garmendia-Doval, John A. W. McCall: A functional framework for the implementation of genetic algorithms: Comparing Haskell and Standard ML. 27-38
• Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder: GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. 39-52
• Ulrike Klusik, Rita Loogen, Steffen Priebe: Controlling parallelism and data distribution in Eden. 53-64
• Michelle Cope, Ian P. Gent, Kevin Hammond: Parallel heuristic search in Haskell. 65-76
• Frédéric Loulergue: Parallel composition and bulk synchronous parallel functional programming. 77-88
• Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén: A distributed operational semantics for a parallel functional language. 89-102
• Philip W. Trinder, Robert F. Pointon, Hans-Wolfgang Loidl: Runtime system level fault tolerance for a distributed functional language. 103-114
• Adam Bakewell, Colin Runciman: The space usage problem: An evaluation kit for graph reduction semantics. 115-128
• Jocelyn Sérot: CAMLFLOW: a CAML to data-flow graph translator. 129-144
• Sharon Curtis: An application of functional programming: quilting. 145-158
• Bruce J. McAdam, Andrew Kennedy, Nick Benton: Type inference for MLj. 159-172
• Manfred Widera, Christoph Beierle: Detecting common elements of types. 173-184

Last update Fri May 25 08:36:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page