|
|
Conferences in DBLP
- Simon B. Jones, Daniel Le Métayer
A New Method for Strictness Analysis on Non-Flat Domains. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:1-11 [Conf]
- Kei Davis, Philip Wadler
Backwards Strictness Analysis: Proved and Improved. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:12-30 [Conf]
- Gebreselassie Baraki, John Hughes
Abstract Interpretation of Polymorphic Functions. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:31-40 [Conf]
- Alex Ferguson, John Hughes
An Iterative Powerdomain Construction. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:41-55 [Conf]
- David Sands
Complexity Analysis for a Lazy Higher-Order Language. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:56-79 [Conf]
- Geraint Jones
Deriving the Fast Fourier Algorithm by Calculation. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:80-102 [Conf]
- Jean-Pierre Banâtre, Daniel Le Métayer
Chemical Reaction as a Computational Model. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:103-117 [Conf]
- A. C. Reeves, Charles Rattray
Sketching a Constructive Definition of 'mix'. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:118-132 [Conf]
- Colin Runciman, Mike Firth, Nigel Jagger
Transformation in a Non-Strict Language: An Approach to Instantiation. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:133-141 [Conf]
- Philip W. Trinder
Referentially Transparent Database Languages. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:142-156 [Conf]
- Lee McLoughlin, E. S. Hayes
Imperative Effects from a Pure Functional Language. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:157-169 [Conf]
- Alastair Reid
Designing Data Structures. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:170-181 [Conf]
- Mary Sheeran
Describing Butterfly Networks in Ruby. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:182-205 [Conf]
- Satnam Singh
Implementation of a Non-Standard Interpretation System. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:206-224 [Conf]
- J. M. Deschner
Simulating Multiprocessor Architectures for Compiled Graph-Reduction. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:225-237 [Conf]
- John Launchbury
Dependent Sums Express Separation of Binding Times. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:238-253 [Conf]
- Stephen Blott
Type Inference and Type Classes. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:254-265 [Conf]
- Kevin Hammond, Stephen Blott
Implementing Haskell Type Classes. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:266-286 [Conf]
- Stuart Cox, Hugh Glaser, Mike Reeve
Implementing Functional Languages on the Transputer. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:287-295 [Conf]
- Iain B. Robertson
Hope+ on Flagship. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:296-307 [Conf]
- John Hughes, John O'Donnell
Expressing and Reasoning About Non-Deterministic Functional Programs. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:308-328 [Conf]
- John M. Kewley, Kevin Glynn
Evaluation Annotations for Hope+. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:329-337 [Conf]
- Paul Roe
Some Ideas On Parallel Functional Programming. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:338-352 [Conf]
- Graham Hutton
Parsing Using Combinators. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:353-370 [Conf]
- A. C. Reeves, D. A. Harrsion, A. F. Sinclair, P. Williamson
Gerald: An Exceptional Lazy Functional Programming Language. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:371-390 [Conf]
- Kieran Clenaghan
Geometrization for Interactive Software Development. [Citation Graph (0, 0)][DBLP]
Functional Programming, 1989, pp:391-409 [Conf]
|
