Functional Programming 1991: Portree, Isle of Skye, Scotland, UK
Rogardt Heldal, Carsten Kehler Holst, Philip Wadler (Eds.): Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991. Springer 1992 Workshops in Computing ISBN 3-540-19760-5- Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder: A Parallel Functional Database on GRIP. 1-24
- Guy Argo: A New Sharing Mechanism for the TIM. 25-35
- Lennart Augustsson: BWM: A Concrete Machine for Graph Reduction. 36-50
- Deryck F. Brown, Hermano Moura, David A. Watt: ACTRESS: An Action Semantics Directed Compiler Generator (Summary). 51-55
- Geoffrey L. Burn: The Abstract interpretation of Higher-Order Functional Languages: From Properties to Absract Domains (Technical Summary). 56-72
- Kei Davis: A Note on the Choice of Domains for Projection-Based Program Analysis. 73-81
- Alain Deutsch: An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract). 82-99
- Andrew J. Gill: A Novel Approach Towards Peephole Optimisations. 100-111
- Cordelia V. Hall: Strictness Analysis Using Hindley-Milner Type Inference. 128-133
- Geoff W. Hamilton, S. B. Jones: Extending Deforestation for First Order functional Programs. 134-145
- Kevin Hammond: Efficient Type Inference Using Monads (Summary). 146-157
- Rogardt Heldal: Generating More Practical Compilers by Partial Evaluation. 158-163
- Geraint Jones: Getting Your Wires Crossed. 191-206
- Ryszard Kubiak, John Hughes, John Launchbury: Implementing Projection-based Strictness Analysis. 207-224
- David R. Lester: Vuillemin's Exact Real Arithmetic. 225-238
- David Murphy: A Semantics for Relational Programming. 239-252
- Lars Rossen: From Primitive Recursive Functions to Silicon through Relations. 253-264
- Nick Rothwell: Functional Compilation from the Standard ML Core Language to Lambda Calculus. 265-277
- Colin Runciman: TIP in Haskell - another Exercise in Functional Programming. 278-292
- Paul Sanders: Experiments in Haskell - A Network Simulation Algorithm. 293-297
- David Sands: Operational Theories of Improvement in Functional Languages (Extended Abstract). 298-311
- Patrick M. Sansom: Combining Single-Space and Two-Space Compacting Garbage Collectors. 312-323
- Manfred Schmidt-Schauß: External Function Calls in a Functional Language. 324-331
- Mary Sheeran: A Note on Absraction in Ruby. 332-338
- Ben A. Sijtsma: Requirements for a Functional Programming Environment. 339-346
- Duncan C. Sinclair: Debugging by Dataflwo - Summary. 347-351
- Satnam Singh: Using XView/X11 from Miranda. 352-363
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team