% Time-stamp: <Fri Feb 15 2002 20:32:04 Stardate: [-30]8019.27 hwloidl>
% $Id: sfp99.bib,v 1.2 2000/06/15 23:47:37 hwloidl Exp $
%
% This is the official Bibtex file for the papers in the SFP99 proceedings.
% ---------------------------------------------------------------------------

% This should be the official web page of the SFP Workshops
@Misc{WWW-SFP,
  key =		 {SFP Web Page},
  title =	 {SFP Web Page},
  howpublished = {WWW page},
  year =	 2000,
  month =	 jun,
  annote =	 {date field means ``created at''},
  url =          {http://www.cee.hw.ac.uk/~dsg/sfp/},
}

% The whole SFP'99 Proceedings.
@Proceedings{SFP99,
 title={{Trends in Functional Programming}},
 booktitle={{Trends in Functional Programming}},
 volume={1},
 editor={P. W. Trinder and G. Michaelson and H-W. Loidl},
 publisher={Intellect},
 address={Bristol, UK},
 year={2000},
 note={ISBN 1-84150-024-0},
 url={http://www.cee.hw.ac.uk/~greg/sfp/}
}

% The papers
@InProceedings{klusik_sfp99,
  author =       {Ulrike Klusik, Ricardo Pe\~na and Clara Segura},
  title =        {{Bypassing of Channels in Eden}},
  pages =        {2--11},
  crossref =     {SFP99},
}

@InProceedings{hernandez_sfp99,
  author =       {F\'elix Hernandez, Ricardo Pena and Fernando Rubio},
  title =        {{From GranSim to Paradise}},
  pages =        {11--20},
  crossref =     {SFP99},
}

@InProceedings{hayashi_sfp99,
  author =       {Yasushi Hayashi and Murray Cole},
  title =        {{BSP-based Cost Analysis of Skeletal Programs}},
  pages =        {20--29},
  crossref =     {SFP99},
}

@InProceedings{ballereau_sfp99,
  author =       {Olivier Ballereau, Fr\'ed\'eric Loulergue and Ga\'etan Hains},
  title =        {{High Level BSP Programming: BSML and BS$\lambda $}},
  pages =        {29--41},
  crossref =     {SFP99},
}

@InProceedings{gilmore_sfp99,
  author =       {Stephen Gilmore},
  title =        {{Deep Type Inference for Mobile Functions}},
  pages =        {41--50},
  crossref =     {SFP99},
}

@InProceedings{mcadam_sfp99,
  author =       {Bruce J. McAdam},
  title =        {{Generalising Techniques for Type Debugging}},
  pages =        {50--59},
  crossref =     {SFP99},
}

@InProceedings{yang_sfp99,
  author =       {Jun Yang},
  title =        {{Explaining Type Errors by Finding the Source of a Type Conflict}},
  pages =        {59--68},
  crossref =     {SFP99},
}

@InProceedings{widera_sfp99,
  author =       {Manfred Widera and Christoph Beierle},
  title =        {{How to Combine the Benefits of Strict and Soft Typing}},
  pages =        {68--79},
  crossref =     {SFP99},
}

@InProceedings{green_sfp99,
  author =       {Mark Green and Ali E. Abdallah},
  title =        {{Interfacing Java with Haskell}},
  pages =        {79--89},
  crossref =     {SFP99},
}

@InProceedings{walton_sfp99,
  author =       {Christopher D. Walton},
  title =        {{An Abstract Machine for Memory Management}},
  pages =        {89--98},
  crossref =     {SFP99},
}

@InProceedings{morazan_sfp99,
  author =       {Marco T. Moraz\'an and Douglas R. Troeger},
  title =        {{The MT Architecture and Allocation Algorithm}},
  pages =        {98--106},
  crossref =     {SFP99},
}

@InProceedings{woo_sfp99,
  author =       {Gyun Woo and Taisook Han},
  title =        {{ZG-machine: a Space-Efficient G-machine}},
  pages =        {106--116},
  crossref =     {SFP99},
}

@InProceedings{rabhi_sfp99,
  author =       {Fethi A. Rabhi, Guy Lapalme and Albert Y. Zomaya},
  title =        {{A Functional Design Framework for Genetic Algorithms}},
  pages =        {116--126},
  crossref =     {SFP99},
}

@InProceedings{baker_sfp99,
  author =       {Paul Baker, Clive Jervis and David J. King},
  title =        {{An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications}},
  pages =        {126--135},
  crossref =     {SFP99},
}

@InProceedings{dosch_sfp99,
  author =       {Walter Dosch and Bernd Wiedemann},
  title =        {{List Homomorphisms with Accumulation and Indexing}},
  pages =        {135--144},
  crossref =     {SFP99},
}

@InProceedings{lammel_sfp99,
  author =       {Ralf L{\"a}mmel},
  title =        {{Reuse by Program Transformation}},
  pages =        {144--154},
  crossref =     {SFP99},
}

@InProceedings{baker-finch_sfp99,
  author =       {Clem Baker-Finch},
  title =        {{An Abstract Machine for Parallel Lazy Evaluation}},
  pages =        {154--161},
  crossref =     {SFP99},
}