Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland > Sketching a Constructive Definition of ‘mix’
Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland |
Kei Davis; John Hughes
Springer London
Functional Programming: Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland
Sketching a Constructive Definition of ‘mix’
Authors

A. C. Reeves; C. Rattray

ARI Id

1664552581333_2173743

Access

Not Available Free

Pages

118-132

DOI

10.1007/978-1-4471-3166-3_8

Chapter URL

https://rd.springer.com/chapter/10.1007/978-1-4471-3166-3_8

Table of Contents of Book
Showing 1 to 20 of 28 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-viii
A New Method for Strictness Analysis on Non-Flat Domains
Simon B. Jones; Daniel Le Metayer
1-11
Backwards Strictness Analysis: Proved and Improved
Kei Davis; Philip Wadler
12-30
Abstract Interpretation of Polymorphic Functions
Gebreselassie Baraki; John Hughes
31-40
An Iterative Powerdomain Construction
A. B. Ferguson; R. J. M. Hughes
41-55
Complexity Analysis for a Lazy Higher-Order Language
David Sands
56-79
Deriving the fast Fourier algorithm by calculation
Geraint Jones
80-102
Chemical Reaction as a Computational Model
Jean-Pierre Banâtre; Daniel Le Métayer
103-117
Sketching a Constructive Definition of ‘mix’
A. C. Reeves; C. Rattray
118-132
Transformation in a Non-Strict Language: An Approach to Instantiation
Colin Runciman; Mike Firth; Nigel Jagger
133-141
Referentially Transparent Database Languages
Phil Trinder
142-156
Imperative Effects from a Pure Functional Language
L. McLoughlin; E. S. Hayes
157-169
Designing Data Structures
Alastair Reid
170-181
Describing Butterfly Networks in Ruby
Mary Sheeran
182-205
Implementation of a Non-Standard Interpretation System
Satnam Singh
206-224
Simulating Multiprocessor Architectures for Compiled Graph-Reduction
J. M. Deschner
225-237
Dependent Sums Express Separation of Binding Times
John Launchbury
238-253
Type inference and type classes
Stephen Blott
254-264
Implementing Haskell Type Classes
K. Hammond; S. Blott
265-286
Implementing Functional Languages on the Transputer
Stuart Cox; Hugh Glaser
287-295
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 28 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings