default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFunctional Programming 1992: Ayr, Scotland, UK
- John Launchbury, Patrick M. Sansom:
Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992. Workshops in Computing, Springer 1993, ISBN 3-540-19820-2 - Peter Achten, John H. G. van Groningen, Marinus J. Plasmeijer:
High Level Specification of I/O in Functional Languages. 1-17 - Guy Argo:
GRIT: Guy's RISC Implementation of the Three Instruction. 18-29 - Geoffrey Livingston Burn:
A Logical Framework for Program Analysis. 30-42 - Kei Davis:
Analysing Functions by Projection-Based Backward Abstraction. 43-56 - Alex Ferguson, John Hughes:
Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary). 57-61 - Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler:
The Glasgow Haskell Compiler: A Retrospective. 62-71 - Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder:
Improving Persistent Data Manipulation for Functional Languages. 72-84 - John Hughes, Alex Ferguson:
A Loop-Detecting Interpreter for Lazy, Higher-Order Programs. 85-101 - John Hughes, Andrew Moran:
A Semantics for Locally Bottom-Avoiding Choice. 102-112 - Geraint Jones, Mary Sheeran:
A Certain Loss of Identity. 113-121 - Mark P. Jones:
Programming with Constructor Classes (Preliminary Summary). 122-133 - David J. King, Philip Wadler:
Combining Monads. 134-143 - John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler:
Avoiding Unnecessary Updates. 144-153 - Simon Marlow, Philip Wadler:
Deforestation for Higher-Order Functions. 154-165 - Erik Meijer:
Hazard Algebra and the Design of Asynchronous Automata. 166-177 - John T. O'Donnell:
Generating Netlists from Executable Circuit Specifications. 178-194 - Will Partain:
The nofib Benchmark Suite of Haskell Programs. 195-202 - Colin Runciman, David Wakeling:
Heap Profiling of a Lazy Functional Compiler. 203-214 - Paul Sanders, Colin Runciman:
LZW Text Compression in Haskell. 215-226 - Patrick M. Sansom, Simon L. Peyton Jones:
Profiling Lazy Functional Programs. 227-239 - André L. M. Santos, Simon L. Peyton Jones:
On Program Transformation in the Glasgow Haskell Compiler. 240-251 - Duncan C. Sinclair:
Graphical User Interfaces for Haskell. 252-257 - Simon J. Thompson:
Formulating Haskell. 258-268
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 2024-11-08 20:38 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:
