default search action
Search dblp for Publications
export results for "toc:db/conf/fp/fp1991.bht:"
@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} }
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.