Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFunctional Programming 1989: Fraserburgh, Scotland, UK
- Kei Davis, John Hughes:
Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing, Springer 1990, ISBN 3-540-19609-9
- Simon B. Jones, Daniel Le Métayer:
A New Method for Strictness Analysis on Non-Flat Domains. Functional Programming 1989: 1-11 - Kei Davis, Philip Wadler:
Backwards Strictness Analysis: Proved and Improved. Functional Programming 1989: 12-30 - Gebreselassie Baraki, John Hughes:
Abstract Interpretation of Polymorphic Functions. Functional Programming 1989: 31-40 - Alex Ferguson, R. John M. Hughes:
An Iterative Powerdomain Construction. Functional Programming 1989: 41-55 - David Sands:
Complexity Analysis for a Lazy Higher-Order Language. Functional Programming 1989: 56-79 - Geraint Jones:
Deriving the Fast Fourier Algorithm by Calculation. Functional Programming 1989: 80-102 - Jean-Pierre Banâtre, Daniel Le Métayer:
Chemical Reaction as a Computational Model. Functional Programming 1989: 103-117 - A. C. Reeves, Charles Rattray:
Sketching a Constructive Definition of 'mix'. Functional Programming 1989: 118-132 - Colin Runciman, Mike Firth, Nigel Jagger:
Transformation in a Non-Strict Language: An Approach to Instantiation. Functional Programming 1989: 133-141 - Philip W. Trinder:
Referentially Transparent Database Languages. Functional Programming 1989: 142-156 - Lee McLoughlin, E. S. Hayes:
Imperative Effects from a Pure Functional Language. Functional Programming 1989: 157-169 - Alastair Reid:
Designing Data Structures. Functional Programming 1989: 170-181 - Mary Sheeran:
Describing Butterfly Networks in Ruby. Functional Programming 1989: 182-205 - Satnam Singh:
Implementation of a Non-Standard Interpretation System. Functional Programming 1989: 206-224 - J. M. Deschner:
Simulating Multiprocessor Architectures for Compiled Graph-Reduction. Functional Programming 1989: 225-237 - John Launchbury:
Dependent Sums Express Separation of Binding Times. Functional Programming 1989: 238-253 - Stephen Blott:
Type Inference and Type Classes. Functional Programming 1989: 254-265 - Kevin Hammond, Stephen Blott:
Implementing Haskell Type Classes. Functional Programming 1989: 266-286 - Stuart Cox, Hugh Glaser, Mike Reeve:
Implementing Functional Languages on the Transputer. Functional Programming 1989: 287-295 - Iain B. Robertson:
Hope+ on Flagship. Functional Programming 1989: 296-307 - John Hughes, John O'Donnell:
Expressing and Reasoning About Non-Deterministic Functional Programs. Functional Programming 1989: 308-328 - John M. Kewley, Kevin Glynn:
Evaluation Annotations for Hope+. Functional Programming 1989: 329-337 - Paul Roe:
Some Ideas On Parallel Functional Programming. Functional Programming 1989: 338-352 - Graham Hutton:
Parsing Using Combinators. Functional Programming 1989: 353-370 - A. C. Reeves, D. A. Harrsion, A. F. Sinclair, P. Williamson:
Gerald: An Exceptional Lazy Functional Programming Language. Functional Programming 1989: 371-390 - Kieran Clenaghan:
Geometrization for Interactive Software Development. Functional Programming 1989: 391-409
a service of 
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 2023-10-04 00:07 CEST 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:
