Search dblp for Publications

export results for "toc:db/conf/sfp/sfp1999.bht:"

 download as .bib file

@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},
  series       = {Trends in Functional Programming},
  volume       = {1},
  publisher    = {Intellect},
  year         = {2000},
  isbn         = {1-84150-024-0},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Baker-Finch99,
  author       = {Clement A. Baker{-}Finch},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {An Abstract Machine for Parallel Lazy Evaluation},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {154--160},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 13:23:19 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/Baker-Finch99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/BakerJK99,
  author       = {Paul Baker and
                  Clive Jervis and
                  David J. King},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {An Industrial use of {FP:} {A} Tool for Generating Test Scripts from
                  System Specifications},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {126--134},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/BakerJK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/BallereauLH99,
  author       = {Olivier Ballereau and
                  Fr{\'{e}}d{\'{e}}ric Loulergue and
                  Ga{\'{e}}tan Hains},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {High Level {BSP} Programming: {BSML} and BSlambda},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {29--40},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/BallereauLH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/DoschW99,
  author       = {Walter Dosch and
                  Bernd Wiedemann},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {List Homomorphisms with Accumulation and Indexing},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {135--143},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/DoschW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Gilmore99,
  author       = {Stephen Gilmore},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {Deep Type Inference for Mobile Functions},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {41--49},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/Gilmore99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/GreenA99,
  author       = {Mark Green and
                  Ali E. Abdallah},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {Interfacing Java with Haskell},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {79--88},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/GreenA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/HayashiC99,
  author       = {Yasushi Hayashi and
                  Murray Cole},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {BSP-based Cost Analysis of Skeletal Programs},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {20--28},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/HayashiC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/HernandezPR99,
  author       = {Felix Hernandez and
                  Ricardo Pena and
                  Fernando Rubio},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {From GranSim to Paradise},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {11--19},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Thu, 09 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/HernandezPR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/KlusikPS99,
  author       = {Ulrike Klusik and
                  Ricardo Pena and
                  Clara Segura},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {Bypassing of Channels in Eden},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {2--10},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/KlusikPS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Lammel99,
  author       = {Ralf L{\"{a}}mmel},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {Reuse by Program Transformation},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {144--153},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/Lammel99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/McAdam99,
  author       = {Bruce J. McAdam},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {Generalising Techniques for Type Debugging},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {50--58},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/McAdam99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/MorazanT99,
  author       = {Marco T. Moraz{\'{a}}n and
                  Douglas R. Troeger},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {The {MT} Architecture and Allocation Algorithm},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {98--105},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/MorazanT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/RabhiLZ99,
  author       = {Fethi A. Rabhi and
                  Guy Lapalme and
                  Albert Y. Zomaya},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {A Functional Design Framework for Genetic Algorithms},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {116--125},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/RabhiLZ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Walton99,
  author       = {Christopher D. Walton},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {An Abstract Machine for Memory Management},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {89--97},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/Walton99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/WideraB99,
  author       = {Manfred Widera and
                  Christoph Beierle},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {How to Combine the Benefits of Strict and Soft Typing},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {68--78},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/WideraB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/WooH99,
  author       = {Gyun Woo and
                  Taisook Han},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {ZG-machine: a Space-Efficient G-machine},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {106--115},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/WooH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sfp/Yang99,
  author       = {Jun Yang},
  editor       = {Philip W. Trinder and
                  Greg Michaelson and
                  Hans{-}Wolfgang Loidl},
  title        = {Explaining Type Errors by Finding the Source of a Type Conflict},
  booktitle    = {Selected papers from the 1st Scottish Functional Programming Workshop
                  (SFP99), University of Stirling, Bridge of Allan, Scotland, August
                  29th to September 1st, 1999},
  series       = {Trends in Functional Programming},
  volume       = {1},
  pages        = {59--67},
  publisher    = {Intellect},
  year         = {1999},
  timestamp    = {Wed, 22 Jan 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sfp/Yang99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.