default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFunctional Programming 1991: Portree, Isle of Skye, Scotland, UK
- Rogardt Heldal, Carsten Kehler Holst, Philip Wadler:
Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991. Workshops in Computing, Springer 1992, 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 Forsyth Brown, Hermano P. Moura, David A. Watt:
ACTRESS: An Action Semantics Directed Compiler Generator (Summary). 51-55 - Geoffrey Livingston Burn:
The Abstract interpretation of Higher-Order Functional Languages: From Properties to Abstract 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 John Gill:
A Novel Approach Towards Peephole Optimisations. 100-111 - Carsten K. Gomard, Peter Sestoft:
Evaluation Order Analysis for Lazy Data Structures. 112-127 - Cordelia V. Hall:
Strictness Analysis Using Hindley-Milner Type Inference. 128-133 - Geoff W. Hamilton, Simon 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 - Carsten Kehler Holst, John Hughes:
A Loop-Detecting Interpreter for Lazy Programs. 164-176 - Graham Hutton, Ed Voermans:
Making Functionality More General. 177-190 - 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 Abstraction in Ruby. 332-338 - Ben A. Sijtsma:
Requirements for a Functional Programming Environment. 339-346 - Duncan C. Sinclair:
Debugging by Dataflow - Summary. 347-351 - Satnam Singh:
Using XView/X11 from Miranda. 352-363
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.
last updated on 2025-01-10 18:40 CET 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:
