default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/fp:"
download as .bib file
@proceedings{DBLP:conf/fp/1995,
editor = {David N. Turner},
title = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
publisher = {Springer},
year = {1996},
isbn = {3-540-14580-X},
timestamp = {Tue, 19 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/BarendsenS95,
author = {Erik Barendsen and
Sjaak Smetsers},
editor = {David N. Turner},
title = {Uniqueness Typing in Natural Deduction Style},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {1},
publisher = {Springer},
year = {1995},
timestamp = {Tue, 19 Jun 2018 20:15:26 +0200},
biburl = {https://dblp.org/rec/conf/fp/BarendsenS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/BoothJ95,
author = {Simon P. Booth and
Simon B. Jones},
editor = {David N. Turner},
title = {Towards a Purely Functional Debugger for Functional Programs},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {1},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/BoothJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/BreitingerL95,
author = {Silvia Breitinger and
Rita Loogen},
editor = {David N. Turner},
title = {Towards a Declarative Language for Parallel and Concurrent Programming},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {2},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/BreitingerL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Chakravarty95,
author = {Manuel M. T. Chakravarty},
editor = {David N. Turner},
title = {Integrating Multithreading into the Spineless Tagless G-machine},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {2},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Chakravarty95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Collins95,
author = {Graham Collins},
editor = {David N. Turner},
title = {Supporting Reasoning about Functional Programs: An Operational Approach},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {3},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Collins95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Davie95,
author = {Antony J. T. Davie},
editor = {David N. Turner},
title = {Algebraic Formula Manipulation in a Functional Language: {A} First
Attempt},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {3},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Davie95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/FinneJ95,
author = {Sigbj{\o}rn Finne and
Simon L. Peyton Jones},
editor = {David N. Turner},
title = {Picture: {A} Simple Structured Graphics Model},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {4},
publisher = {Springer},
year = {1995},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/FinneJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Gill95,
author = {Andy Gill},
editor = {David N. Turner},
title = {The Technology Behind a Graphical User Interface for an Equational
Reasoning Assistant},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {4},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Gill95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/GovierK95,
author = {Simon Govier and
Paul H. J. Kelly},
editor = {David N. Turner},
title = {A Lazy, Self-optimizing Parallel Matrix Library},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {5},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/GovierK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HammondT95,
author = {Kevin Hammond and
Philip W. Trinder},
editor = {David N. Turner},
title = {Database Manipulation in Haskell 1.3},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {5},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HammondT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HolyerDD95,
author = {Ian Holyer and
Neil Davies and
Chris Dornan},
editor = {David N. Turner},
title = {The Brisk Project: Concurrent and Distributed Functional Systems},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {6},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HolyerDD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HuangR95,
author = {Howard Huang and
Uday S. Reddy},
editor = {David N. Turner},
title = {Type Reconstruction for {SCI}},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {6},
publisher = {Springer},
year = {1995},
timestamp = {Tue, 15 Mar 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/HuangR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Jones95,
author = {Simon B. Jones},
editor = {David N. Turner},
title = {Experiences with Clean {I/O}},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {7},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Jones95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/JonesHS95,
author = {Mark P. Jones and
Paul Hudak and
Sebastian Shaumyan},
editor = {David N. Turner},
title = {Using Types to Parse Natural Language},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {7},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/JonesHS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Kuchen95,
author = {Herbert Kuchen},
editor = {David N. Turner},
title = {A Functional Logic Language Based on Higher Order Narrowing},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {8},
publisher = {Springer},
year = {1995},
timestamp = {Wed, 08 Sep 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Kuchen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/LoidlH95,
author = {Hans{-}Wolfgang Loidl and
Kevin Hammond},
editor = {David N. Turner},
title = {On the Granularity of Divide-and-Conquer Parallelism},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {8},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/LoidlH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/ODonnellR95,
author = {John O'Donnell and
Gudula R{\"{u}}nger},
editor = {David N. Turner},
title = {Formal Specification of Interconnection Networks},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {9},
publisher = {Springer},
year = {1995},
timestamp = {Wed, 26 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/ODonnellR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fp/1994,
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3573-9},
doi = {10.1007/978-1-4471-3573-9},
isbn = {978-3-540-19914-4},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/0001R94,
author = {John O'Donnell and
Gudula R{\"{u}}nger},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {A Case Study in Parallel Program Derivation: the Heat Equation Algorithm},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {167--183},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_12},
doi = {10.1007/978-1-4471-3573-9\_12},
timestamp = {Tue, 25 Jun 2019 09:34:45 +0200},
biburl = {https://dblp.org/rec/conf/fp/0001R94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/BunkenburgF94,
author = {Alexander Bunkenburg and
Sharon Flynn},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Expression Refinement: Deriving Bresenham's Algorithm},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {1--17},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_1},
doi = {10.1007/978-1-4471-3573-9\_1},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/BunkenburgF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Clenaghan94,
author = {Kieran Clenaghan},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Dynamic Algebra for Calculating Algorithms},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {18--28},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_2},
doi = {10.1007/978-1-4471-3573-9\_2},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Clenaghan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Duponcheel094,
author = {Luc Duponcheel and
Erik Meijer},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {On the expressive power of Constructor Classes},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {29--49},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_3},
doi = {10.1007/978-1-4471-3573-9\_3},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Duponcheel094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/FinneJ94,
author = {Sigbj{\o}rn Finne and
Simon Peyton Jones},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Programming Reactive Systems in Haskell},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {50--65},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_4},
doi = {10.1007/978-1-4471-3573-9\_4},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/FinneJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/FoubisterR94,
author = {Sandra P. Foubister and
Colin Runciman},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Techniques for Simplifying the Visualization of Graph Reduction},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {66--77},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_5},
doi = {10.1007/978-1-4471-3573-9\_5},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/FoubisterR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Gordon94,
author = {Andrew D. Gordon},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {A Tutorial on Co-induction and Functional Programming},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {78--95},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_6},
doi = {10.1007/978-1-4471-3573-9\_6},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Gordon94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HallJS94,
author = {Cordelia V. Hall and
Simon L. Peyton Jones and
Patrick M. Sansom},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Unboxing using Specialisation},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {96--110},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_7},
doi = {10.1007/978-1-4471-3573-9\_7},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HallJS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HammondLP94,
author = {Kevin Hammond and
Hans{-}Wolfgang Loidl and
Andrew S. Partridge},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Improving Granularity in Parallel Functional Programs: {A} Graphical
Winnowing System for Haskell},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {111--126},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_8},
doi = {10.1007/978-1-4471-3573-9\_8},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HammondLP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Johnsson94,
author = {Thomas Johnsson},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Fold-Unfold Transformations on State Monadic Interpreters},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {127--140},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_9},
doi = {10.1007/978-1-4471-3573-9\_9},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Johnsson94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/JonesS94,
author = {Simon Peyton Jones and
Andr{\'{e}} L. M. Santos},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Compilation by Transformation in the Glasgow Haskell Compiler},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {184--204},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_13},
doi = {10.1007/978-1-4471-3573-9\_13},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/JonesS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/King94,
author = {David J. King},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Functional Binomial Queues},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {141--150},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_10},
doi = {10.1007/978-1-4471-3573-9\_10},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/King94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Mintchev94,
author = {Sava Mintchev},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Mechanized Reasoning about Functional Programs},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {151--166},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_11},
doi = {10.1007/978-1-4471-3573-9\_11},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Mintchev94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/PooleC94,
author = {Ian Poole and
Derek Charleston},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Experience of developing a cervical cytology scanning system using
Gofer and Haskell},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {205--217},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_14},
doi = {10.1007/978-1-4471-3573-9\_14},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/PooleC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Runciman94,
author = {Colin Runciman},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Binding-time Improvement and Fold/Unfold Transformation},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {218--230},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_15},
doi = {10.1007/978-1-4471-3573-9\_15},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Runciman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Trinder94,
author = {Phil Trinder},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Data Dependent Concurrency Control},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {231--244},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_16},
doi = {10.1007/978-1-4471-3573-9\_16},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Trinder94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/WallaceR94,
author = {Malcolm Wallace and
Colin Runciman},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Type-Checked Message-Passing between Functional Processes},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {245--254},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_17},
doi = {10.1007/978-1-4471-3573-9\_17},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/WallaceR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fp/1993,
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3236-3},
doi = {10.1007/978-1-4471-3236-3},
isbn = {978-3-540-19879-6},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Bunkenburg93,
author = {Alexander Bunkenburg},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {The Boom Hierarchy},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {1--8},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_1},
doi = {10.1007/978-1-4471-3236-3\_1},
timestamp = {Mon, 24 Jun 2019 15:54:14 +0200},
biburl = {https://dblp.org/rec/conf/fp/Bunkenburg93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/CroleG93,
author = {Roy L. Crole and
Andrew D. Gordon},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Factoring an Adequacy Proof (Preliminary Report)},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {9--25},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_2},
doi = {10.1007/978-1-4471-3236-3\_2},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/CroleG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Davis93,
author = {Kei Davis},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Projection-based Termination Analysis},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {26--42},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_3},
doi = {10.1007/978-1-4471-3236-3\_3},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Davis93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Hall93,
author = {Cordelia V. Hall},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {A framework for optimising abstract data types},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {43--57},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_4},
doi = {10.1007/978-1-4471-3236-3\_4},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Hall93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HammondBH93,
author = {Kevin Hammond and
Geoffrey Livingston Burn and
Denis B. Howe},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Spiking Your Caches},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {58--68},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_5},
doi = {10.1007/978-1-4471-3236-3\_5},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HammondBH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HartelV93,
author = {Pieter H. Hartel and
Willem G. Vree},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Experiments with destructive updates in a lazy functional language
(extended abstract)},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {69--82},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_6},
doi = {10.1007/978-1-4471-3236-3\_6},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HartelV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Hill93,
author = {Jonathan M. D. Hill},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {The aim is laziness in a data-parallel language},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {83--99},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_7},
doi = {10.1007/978-1-4471-3236-3\_7},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Hill93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Hiromoto93,
author = {Robert E. Hiromoto},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {On the Comparative Evaluation of Parallel Languages and Systems: {A}
Functional Note},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {100--112},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_8},
doi = {10.1007/978-1-4471-3236-3\_8},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Hiromoto93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HolyerC93,
author = {Ian Holyer and
David Carter},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Deterministic Concurrency},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {113--126},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_9},
doi = {10.1007/978-1-4471-3236-3\_9},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HolyerC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HoweB93,
author = {Denis B. Howe and
Geoffrey Livingston Burn},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Using Strictness in the {STG} Machine},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {127--137},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_10},
doi = {10.1007/978-1-4471-3236-3\_10},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HoweB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/JonesP93,
author = {Simon Peyton Jones and
Will Partain},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Measuring the effectiveness of a simple strictness analyser},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {201--221},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_17},
doi = {10.1007/978-1-4471-3236-3\_17},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/JonesP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/JonesT93,
author = {Simon B. Jones and
Andrew S. Tyas},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {The Implementer's Dilemma: {A} Mathematical Model of Compile Time
Garbage Collection},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {138--144},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_11},
doi = {10.1007/978-1-4471-3236-3\_11},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/JonesT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/KingL93,
author = {David J. King and
John Launchbury},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Functional Graph Algorithms with Depth-First Search (Preliminary Summary)},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {145--155},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_12},
doi = {10.1007/978-1-4471-3236-3\_12},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/KingL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Lester93,
author = {David R. Lester},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Distributed Garbage Collection of Cyclic Structures},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {156--169},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_13},
doi = {10.1007/978-1-4471-3236-3\_13},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Lester93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Marlow93,
author = {Simon Marlow},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Update Avoidance Analysis by Abstract Interpretation},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {170--184},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_14},
doi = {10.1007/978-1-4471-3236-3\_14},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Marlow93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/MattsonG93,
author = {James S. Mattson Jr. and
William G. Griswold},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Local Speculative Evaluation for Distributed Graph Reduction},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {185--192},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_15},
doi = {10.1007/978-1-4471-3236-3\_15},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/MattsonG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/ODonnell93,
author = {John T. O'Donnell},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Bidirectional Fold and Scan},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {193--200},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_16},
doi = {10.1007/978-1-4471-3236-3\_16},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/ODonnell93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/ReidS93,
author = {Alastair Reid and
Satnam Singh},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Implementing Fudgets with Standard Widget Sets},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {222--235},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_18},
doi = {10.1007/978-1-4471-3236-3\_18},
timestamp = {Thu, 08 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/ReidS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/RuncimanW93,
author = {Colin Runciman and
David Wakeling},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Profiling Parallel Functional Computations (Without Parallel Machines)},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {236--251},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_19},
doi = {10.1007/978-1-4471-3236-3\_19},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/RuncimanW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sansom93,
author = {Patrick M. Sansom},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Time Profiling a Lazy Functional Compiler},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {252--264},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_20},
doi = {10.1007/978-1-4471-3236-3\_20},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Sansom93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Seward93,
author = {Julian Seward},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Solving recursive domain equations by term rewriting},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {265--279},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_21},
doi = {10.1007/978-1-4471-3236-3\_21},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Seward93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sinclair93,
author = {Duncan C. Sinclair},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Separating Interaction},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {280--286},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_22},
doi = {10.1007/978-1-4471-3236-3\_22},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Sinclair93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@proceedings{DBLP:conf/fp/1991,
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3196-0},
doi = {10.1007/978-1-4471-3196-0},
isbn = {3-540-19760-5},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/AkerholtHJT91,
author = {Gert Akerholt and
Kevin Hammond and
Simon L. Peyton Jones and
Philip W. Trinder},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {A Parallel Functional Database on {GRIP}},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {1--24},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_1},
doi = {10.1007/978-1-4471-3196-0\_1},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/fp/AkerholtHJT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Argo91,
author = {Guy Argo},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {A New Sharing Mechanism for the {TIM}},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {25--35},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_2},
doi = {10.1007/978-1-4471-3196-0\_2},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Argo91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Augustsson91,
author = {Lennart Augustsson},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {{BWM:} {A} Concrete Machine for Graph Reduction},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {36--50},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_3},
doi = {10.1007/978-1-4471-3196-0\_3},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Augustsson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/BrownMW91,
author = {Deryck Forsyth Brown and
Hermano P. Moura and
David A. Watt},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {{ACTRESS:} An Action Semantics Directed Compiler Generator (Summary)},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {51--55},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_4},
doi = {10.1007/978-1-4471-3196-0\_4},
timestamp = {Fri, 22 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/BrownMW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Burn91,
author = {Geoffrey Livingston Burn},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {The Abstract interpretation of Higher-Order Functional Languages:
From Properties to Abstract Domains (Technical Summary)},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {56--72},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_5},
doi = {10.1007/978-1-4471-3196-0\_5},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Burn91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Davis91,
author = {Kei Davis},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {A Note on the Choice of Domains for Projection-Based Program Analysis},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {73--81},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_6},
doi = {10.1007/978-1-4471-3196-0\_6},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Davis91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Deutsch91,
author = {Alain Deutsch},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {An Operational Model of Strictness Properties and Its Abstractions
(Extended Abstract)},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {82--99},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_7},
doi = {10.1007/978-1-4471-3196-0\_7},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Deutsch91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Gill91,
author = {Andrew John Gill},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {A Novel Approach Towards Peephole Optimisations},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {100--111},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_8},
doi = {10.1007/978-1-4471-3196-0\_8},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Gill91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/GomardS91,
author = {Carsten K. Gomard and
Peter Sestoft},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Evaluation Order Analysis for Lazy Data Structures},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {112--127},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_9},
doi = {10.1007/978-1-4471-3196-0\_9},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/GomardS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Hall91,
author = {Cordelia V. Hall},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Strictness Analysis Using Hindley-Milner Type Inference},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {128--133},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_10},
doi = {10.1007/978-1-4471-3196-0\_10},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Hall91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HamiltonJ91,
author = {Geoff W. Hamilton and
Simon B. Jones},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Extending Deforestation for First Order functional Programs},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {134--145},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_11},
doi = {10.1007/978-1-4471-3196-0\_11},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HamiltonJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Hammond91,
author = {Kevin Hammond},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Efficient Type Inference Using Monads (Summary)},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {146--157},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_12},
doi = {10.1007/978-1-4471-3196-0\_12},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Hammond91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Heldal91,
author = {Rogardt Heldal},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Generating More Practical Compilers by Partial Evaluation},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {158--163},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_13},
doi = {10.1007/978-1-4471-3196-0\_13},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Heldal91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HolstH91,
author = {Carsten Kehler Holst and
John Hughes},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {A Loop-Detecting Interpreter for Lazy Programs},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {164--176},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_14},
doi = {10.1007/978-1-4471-3196-0\_14},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/HolstH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HuttonV91,
author = {Graham Hutton and
Ed Voermans},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Making Functionality More General},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {177--190},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_15},
doi = {10.1007/978-1-4471-3196-0\_15},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HuttonV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Jones91,
author = {Geraint Jones},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Getting Your Wires Crossed},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {191--206},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_16},
doi = {10.1007/978-1-4471-3196-0\_16},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Jones91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/KubiakHL91,
author = {Ryszard Kubiak and
John Hughes and
John Launchbury},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Implementing Projection-based Strictness Analysis},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {207--224},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_17},
doi = {10.1007/978-1-4471-3196-0\_17},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/KubiakHL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Lester91,
author = {David R. Lester},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Vuillemin's Exact Real Arithmetic},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {225--238},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_18},
doi = {10.1007/978-1-4471-3196-0\_18},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Lester91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Murphy91,
author = {David Murphy},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {A Semantics for Relational Programming},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {239--252},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_19},
doi = {10.1007/978-1-4471-3196-0\_19},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Murphy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Rossen91,
author = {Lars Rossen},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {From Primitive Recursive Functions to Silicon through Relations},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {253--264},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_20},
doi = {10.1007/978-1-4471-3196-0\_20},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Rossen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Rothwell91,
author = {Nick Rothwell},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Functional Compilation from the Standard {ML} Core Language to Lambda
Calculus},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {265--277},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_21},
doi = {10.1007/978-1-4471-3196-0\_21},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Rothwell91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Runciman91,
author = {Colin Runciman},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {{TIP} in Haskell - another Exercise in Functional Programming},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {278--292},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_22},
doi = {10.1007/978-1-4471-3196-0\_22},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Runciman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sanders91,
author = {Paul Sanders},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Experiments in Haskell - {A} Network Simulation Algorithm},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {293--297},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_23},
doi = {10.1007/978-1-4471-3196-0\_23},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Sanders91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sands91,
author = {David Sands},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Operational Theories of Improvement in Functional Languages (Extended
Abstract)},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {298--311},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_24},
doi = {10.1007/978-1-4471-3196-0\_24},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Sands91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sansom91,
author = {Patrick M. Sansom},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Combining Single-Space and Two-Space Compacting Garbage Collectors},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {312--323},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_25},
doi = {10.1007/978-1-4471-3196-0\_25},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Sansom91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Schmidt-Schauss91,
author = {Manfred Schmidt{-}Schau{\ss}},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {External Function Calls in a Functional Language},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {324--331},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_26},
doi = {10.1007/978-1-4471-3196-0\_26},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Schmidt-Schauss91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sheeran91,
author = {Mary Sheeran},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {A Note on Abstraction in Ruby},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {332--338},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_27},
doi = {10.1007/978-1-4471-3196-0\_27},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Sheeran91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sijtsma91,
author = {Ben A. Sijtsma},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Requirements for a Functional Programming Environment},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {339--346},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_28},
doi = {10.1007/978-1-4471-3196-0\_28},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Sijtsma91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sinclair91,
author = {Duncan C. Sinclair},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Debugging by Dataflow - Summary},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {347--351},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_29},
doi = {10.1007/978-1-4471-3196-0\_29},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Sinclair91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Singh91,
author = {Satnam Singh},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Using XView/X11 from Miranda},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {352--363},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_30},
doi = {10.1007/978-1-4471-3196-0\_30},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Singh91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fp/1990,
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3810-5},
doi = {10.1007/978-1-4471-3810-5},
isbn = {978-3-540-19667-9},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Argo90,
author = {Guy Argo},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Lifetime analysis},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {1--8},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_1},
doi = {10.1007/978-1-4471-3810-5\_1},
timestamp = {Mon, 24 Jun 2019 15:54:03 +0200},
biburl = {https://dblp.org/rec/conf/fp/Argo90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Bondorf90,
author = {Anders Bondorf},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Compiling Laziness by Partial Evaluation},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {9--22},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_2},
doi = {10.1007/978-1-4471-3810-5\_2},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Bondorf90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/DavisW90,
author = {Kei Davis and
Philip Wadler},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Strictness Analysis in 4D},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {23--43},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_3},
doi = {10.1007/978-1-4471-3810-5\_3},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/DavisW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HallHO90,
author = {Cordelia V. Hall and
Kevin Hammond and
John T. O'Donnell},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {An Algorithmic and Semantic Approach to Debugging},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {44--53},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_4},
doi = {10.1007/978-1-4471-3810-5\_4},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HallHO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HamiltonJ90,
author = {Geoff W. Hamilton and
Simon B. Jones},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Compile-Time Garbage Collection by Necessity Analysis},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {66--70},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_6},
doi = {10.1007/978-1-4471-3810-5\_6},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HamiltonJ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Hankin90,
author = {Chris Hankin},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Abstract Interpretation of Term Graph Rewriting Systems},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {54--65},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_5},
doi = {10.1007/978-1-4471-3810-5\_5},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Hankin90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Holst90,
author = {Carsten Kehler Holst},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Improving Full Laziness},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {71--82},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_7},
doi = {10.1007/978-1-4471-3810-5\_7},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Holst90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HolstH90,
author = {Carsten Kehler Holst and
John Hughes},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Towards Binding-Time Improvement for Free},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {83--100},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_8},
doi = {10.1007/978-1-4471-3810-5\_8},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/HolstH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HughesL90,
author = {John Hughes and
John Launchbury},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Towards Relating Forwards and Backwards Analyses},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {101--113},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_9},
doi = {10.1007/978-1-4471-3810-5\_9},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/HughesL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Hunt90,
author = {Sebastian Hunt},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {PERs Generalise Projections for Strictness Analysis (Extended Abstract)},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {114--125},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_10},
doi = {10.1007/978-1-4471-3810-5\_10},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Hunt90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Hutton90,
author = {Graham Hutton},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Functional Programming with Relations},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {126--140},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_11},
doi = {10.1007/978-1-4471-3810-5\_11},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Hutton90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Jensen90,
author = {Thomas P. Jensen},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Abstract Interpretation vs. Type Inference {A} Topological Perspective},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {141--145},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_12},
doi = {10.1007/978-1-4471-3810-5\_12},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Jensen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Johnsson90,
author = {Thomas Johnsson},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Analysing Heap Contents in a Graph Reduction Intermediate Language},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {146--171},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_13},
doi = {10.1007/978-1-4471-3810-5\_13},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Johnsson90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/JonesW90,
author = {Simon B. Jones and
Michael White},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Is Compile Time Garbage Collection Worth the Effort?},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {172--176},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_14},
doi = {10.1007/978-1-4471-3810-5\_14},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/JonesW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Jorgensen90,
author = {Jesper J{\o}rgensen},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Generating a Pattern Matching Compiler by Partial Evaluation},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {177--195},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_15},
doi = {10.1007/978-1-4471-3810-5\_15},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Jorgensen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Kirkwood90,
author = {Carron Kirkwood},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {An Experiment using Term Rewriting Techniques for Concurrency},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {196--200},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_16},
doi = {10.1007/978-1-4471-3810-5\_16},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Kirkwood90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Murphy90,
author = {David Murphy},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Type Refinement in Ruby},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {201--217},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_17},
doi = {10.1007/978-1-4471-3810-5\_17},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Murphy90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Partain90,
author = {William D. Partain},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Normal-Order Reduction Using Scan Primitives},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {218--226},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_18},
doi = {10.1007/978-1-4471-3810-5\_18},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Partain90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Roe90,
author = {Paul Roe},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Calculating lenient programs' performance},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {227--236},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_19},
doi = {10.1007/978-1-4471-3810-5\_19},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Roe90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/RuncimanW90,
author = {Colin Runciman and
David Wakeling},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Problems {\&} Proposals for Time {\&} Space Profiling of Functional
Programs},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {237--245},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_20},
doi = {10.1007/978-1-4471-3810-5\_20},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/RuncimanW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sinclair90,
author = {Duncan C. Sinclair},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Solid Modelling in Haskell},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {246--263},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_21},
doi = {10.1007/978-1-4471-3810-5\_21},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Sinclair90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Singh90,
author = {Satnam Singh},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Differentiating Strictness},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {264--267},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_22},
doi = {10.1007/978-1-4471-3810-5\_22},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Singh90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/ThomasW90,
author = {Muffy Thomas and
Phil Watson},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Generalising Diverging Sequences of Rewrite Rules by Synthesising
New Sorts},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {268--273},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_23},
doi = {10.1007/978-1-4471-3810-5\_23},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/ThomasW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Trinder90,
author = {Phil Trinder},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Concurrent Data Manipulation in a Pure Functional Language},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {274--286},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_24},
doi = {10.1007/978-1-4471-3810-5\_24},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Trinder90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fp/1989,
editor = {Kei Davis and
John Hughes},
title = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
publisher = {Springer},
year = {1990},
isbn = {3-540-19609-9},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/BanatreM89,
author = {Jean{-}Pierre Ban{\^{a}}tre and
Daniel Le M{\'{e}}tayer},
editor = {Kei Davis and
John Hughes},
title = {Chemical Reaction as a Computational Model},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {103--117},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 08 Mar 2022 10:14:58 +0100},
biburl = {https://dblp.org/rec/conf/fp/BanatreM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/BarakiH89,
author = {Gebreselassie Baraki and
John Hughes},
editor = {Kei Davis and
John Hughes},
title = {Abstract Interpretation of Polymorphic Functions},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {31--40},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/BarakiH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Blott89,
author = {Stephen Blott},
editor = {Kei Davis and
John Hughes},
title = {Type Inference and Type Classes},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {254--265},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Blott89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Clenaghan89,
author = {Kieran Clenaghan},
editor = {Kei Davis and
John Hughes},
title = {Geometrization for Interactive Software Development},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {391--409},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Clenaghan89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/CoxGR89,
author = {Stuart Cox and
Hugh Glaser and
Mike Reeve},
editor = {Kei Davis and
John Hughes},
title = {Implementing Functional Languages on the Transputer},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {287--295},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/CoxGR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/DavisW89,
author = {Kei Davis and
Philip Wadler},
editor = {Kei Davis and
John Hughes},
title = {Backwards Strictness Analysis: Proved and Improved},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {12--30},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/DavisW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Deschner89,
author = {J. M. Deschner},
editor = {Kei Davis and
John Hughes},
title = {Simulating Multiprocessor Architectures for Compiled Graph-Reduction},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {225--237},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Deschner89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/FergusonH89,
author = {Alex Ferguson and
R. John M. Hughes},
editor = {Kei Davis and
John Hughes},
title = {An Iterative Powerdomain Construction},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {41--55},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/FergusonH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HammondB89,
author = {Kevin Hammond and
Stephen Blott},
editor = {Kei Davis and
John Hughes},
title = {Implementing Haskell Type Classes},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {266--286},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/HammondB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HughesO89,
author = {John Hughes and
John O'Donnell},
editor = {Kei Davis and
John Hughes},
title = {Expressing and Reasoning About Non-Deterministic Functional Programs},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {308--328},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/HughesO89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Hutton89,
author = {Graham Hutton},
editor = {Kei Davis and
John Hughes},
title = {Parsing Using Combinators},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {353--370},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Hutton89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Jones89,
author = {Geraint Jones},
editor = {Kei Davis and
John Hughes},
title = {Deriving the Fast Fourier Algorithm by Calculation},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {80--102},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Jones89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/JonesM89,
author = {Simon B. Jones and
Daniel Le M{\'{e}}tayer},
editor = {Kei Davis and
John Hughes},
title = {A New Method for Strictness Analysis on Non-Flat Domains},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {1--11},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/JonesM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/KewleyG89,
author = {John M. Kewley and
Kevin Glynn},
editor = {Kei Davis and
John Hughes},
title = {Evaluation Annotations for Hope\({}^{\mbox{+}}\)},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {329--337},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/KewleyG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Launchbury89,
author = {John Launchbury},
editor = {Kei Davis and
John Hughes},
title = {Dependent Sums Express Separation of Binding Times},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {238--253},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Launchbury89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/McLoughlinH89,
author = {Lee McLoughlin and
E. S. Hayes},
editor = {Kei Davis and
John Hughes},
title = {Imperative Effects from a Pure Functional Language},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {157--169},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/McLoughlinH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/ReevesHSW89,
author = {A. C. Reeves and
D. A. Harrsion and
A. F. Sinclair and
P. Williamson},
editor = {Kei Davis and
John Hughes},
title = {Gerald: An Exceptional Lazy Functional Programming Language},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {371--390},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/ReevesHSW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/ReevesR89,
author = {A. C. Reeves and
Charles Rattray},
editor = {Kei Davis and
John Hughes},
title = {Sketching a Constructive Definition of 'mix'},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {118--132},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/ReevesR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Reid89,
author = {Alastair Reid},
editor = {Kei Davis and
John Hughes},
title = {Designing Data Structures},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {170--181},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Reid89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Robertson89,
author = {Iain B. Robertson},
editor = {Kei Davis and
John Hughes},
title = {Hope\({}^{\mbox{+}}\) on Flagship},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {296--307},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Robertson89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Roe89,
author = {Paul Roe},
editor = {Kei Davis and
John Hughes},
title = {Some Ideas On Parallel Functional Programming},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {338--352},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Roe89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/RuncimanFJ89,
author = {Colin Runciman and
Mike Firth and
Nigel Jagger},
editor = {Kei Davis and
John Hughes},
title = {Transformation in a Non-Strict Language: An Approach to Instantiation},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {133--141},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/RuncimanFJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sands89,
author = {David Sands},
editor = {Kei Davis and
John Hughes},
title = {Complexity Analysis for a Lazy Higher-Order Language},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {56--79},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Sands89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Sheeran89,
author = {Mary Sheeran},
editor = {Kei Davis and
John Hughes},
title = {Describing Butterfly Networks in Ruby},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {182--205},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Sheeran89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Singh89,
author = {Satnam Singh},
editor = {Kei Davis and
John Hughes},
title = {Implementation of a Non-Standard Interpretation System},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {206--224},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Singh89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Trinder89,
author = {Philip W. Trinder},
editor = {Kei Davis and
John Hughes},
title = {Referentially Transparent Database Languages},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {142--156},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 18 Feb 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fp/Trinder89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-11-08 00:07 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
