Search dblp for Publications

export results for "toc:db/conf/fp/fp1992.bht:"

 download as .bib file

@proceedings{DBLP:conf/fp/1992,
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8},
  doi          = {10.1007/978-1-4471-3215-8},
  isbn         = {3-540-19820-2},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/AchtenGP92,
  author       = {Peter Achten and
                  John H. G. van Groningen and
                  Marinus J. Plasmeijer},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {High Level Specification of {I/O} in Functional Languages},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_1},
  doi          = {10.1007/978-1-4471-3215-8\_1},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/AchtenGP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/Argo92,
  author       = {Guy Argo},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {{GRIT:} Guy's {RISC} Implementation of the Three Instruction},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {18--29},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_2},
  doi          = {10.1007/978-1-4471-3215-8\_2},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/Argo92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/Burn92,
  author       = {Geoffrey Livingston Burn},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {A Logical Framework for Program Analysis},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {30--42},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_3},
  doi          = {10.1007/978-1-4471-3215-8\_3},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/Burn92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/Davis92,
  author       = {Kei Davis},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Analysing Functions by Projection-Based Backward Abstraction},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {43--56},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_4},
  doi          = {10.1007/978-1-4471-3215-8\_4},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/Davis92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/FergusonH92,
  author       = {Alex Ferguson and
                  John Hughes},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Abstract Interpretation of Higher Order Functions Using Concrete Data
                  Structures (Summary)},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {57--61},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_5},
  doi          = {10.1007/978-1-4471-3215-8\_5},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fp/FergusonH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/HallHPJW92,
  author       = {Cordelia V. Hall and
                  Kevin Hammond and
                  Will Partain and
                  Simon L. Peyton Jones and
                  Philip Wadler},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {The Glasgow Haskell Compiler: {A} Retrospective},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {62--71},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_6},
  doi          = {10.1007/978-1-4471-3215-8\_6},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/HallHPJW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/HammondMST92,
  author       = {Kevin Hammond and
                  Dave McNally and
                  Patrick M. Sansom and
                  Philip W. Trinder},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Improving Persistent Data Manipulation for Functional Languages},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {72--84},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_7},
  doi          = {10.1007/978-1-4471-3215-8\_7},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/HammondMST92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/HughesF92,
  author       = {John Hughes and
                  Alex Ferguson},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {A Loop-Detecting Interpreter for Lazy, Higher-Order Programs},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {85--101},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_8},
  doi          = {10.1007/978-1-4471-3215-8\_8},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fp/HughesF92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/HughesM92,
  author       = {John Hughes and
                  Andrew Moran},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {A Semantics for Locally Bottom-Avoiding Choice},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {102--112},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_9},
  doi          = {10.1007/978-1-4471-3215-8\_9},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fp/HughesM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/Jones92,
  author       = {Mark P. Jones},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Programming with Constructor Classes (Preliminary Summary)},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {122--133},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_11},
  doi          = {10.1007/978-1-4471-3215-8\_11},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/Jones92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/JonesS92,
  author       = {Geraint Jones and
                  Mary Sheeran},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {A Certain Loss of Identity},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {113--121},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_10},
  doi          = {10.1007/978-1-4471-3215-8\_10},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/JonesS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/KingW92,
  author       = {David J. King and
                  Philip Wadler},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Combining Monads},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {134--143},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_12},
  doi          = {10.1007/978-1-4471-3215-8\_12},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/KingW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/LaunchburyGHMJW92,
  author       = {John Launchbury and
                  Andy Gill and
                  John Hughes and
                  Simon Marlow and
                  Simon L. Peyton Jones and
                  Philip Wadler},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Avoiding Unnecessary Updates},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {144--153},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_13},
  doi          = {10.1007/978-1-4471-3215-8\_13},
  timestamp    = {Wed, 02 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fp/LaunchburyGHMJW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/MarlowW92,
  author       = {Simon Marlow and
                  Philip Wadler},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Deforestation for Higher-Order Functions},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {154--165},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_14},
  doi          = {10.1007/978-1-4471-3215-8\_14},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/MarlowW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/Meijer92,
  author       = {Erik Meijer},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Hazard Algebra and the Design of Asynchronous Automata},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {166--177},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_15},
  doi          = {10.1007/978-1-4471-3215-8\_15},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/Meijer92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/ODonnell92,
  author       = {John T. O'Donnell},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Generating Netlists from Executable Circuit Specifications},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {178--194},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_16},
  doi          = {10.1007/978-1-4471-3215-8\_16},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/ODonnell92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/Partain92,
  author       = {Will Partain},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {The nofib Benchmark Suite of Haskell Programs},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {195--202},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_17},
  doi          = {10.1007/978-1-4471-3215-8\_17},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/Partain92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/RuncimanW92,
  author       = {Colin Runciman and
                  David Wakeling},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Heap Profiling of a Lazy Functional Compiler},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {203--214},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_18},
  doi          = {10.1007/978-1-4471-3215-8\_18},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/RuncimanW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/SandersR92,
  author       = {Paul Sanders and
                  Colin Runciman},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {{LZW} Text Compression in Haskell},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {215--226},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_19},
  doi          = {10.1007/978-1-4471-3215-8\_19},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/SandersR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/SansomJ92,
  author       = {Patrick M. Sansom and
                  Simon L. Peyton Jones},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Profiling Lazy Functional Programs},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {227--239},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_20},
  doi          = {10.1007/978-1-4471-3215-8\_20},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/SansomJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/SantosJ92,
  author       = {Andr{\'{e}} L. M. Santos and
                  Simon L. Peyton Jones},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {On Program Transformation in the Glasgow Haskell Compiler},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {240--251},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_21},
  doi          = {10.1007/978-1-4471-3215-8\_21},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/SantosJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/Sinclair92,
  author       = {Duncan C. Sinclair},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Graphical User Interfaces for Haskell},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {252--257},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_22},
  doi          = {10.1007/978-1-4471-3215-8\_22},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/Sinclair92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fp/Thompson92,
  author       = {Simon J. Thompson},
  editor       = {John Launchbury and
                  Patrick M. Sansom},
  title        = {Formulating Haskell},
  booktitle    = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
                  Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
  series       = {Workshops in Computing},
  pages        = {258--268},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3215-8\_23},
  doi          = {10.1007/978-1-4471-3215-8\_23},
  timestamp    = {Fri, 21 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fp/Thompson92.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.