Functional programming : proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland [Softcover reprint of the original 1st ed. 1990] 3540196099, 9783540196099, 9780387196091, 0387196099, 978-1-4471-3166-3

Table of contents :
Front Matter....Pages i-viii
A New Method for Strictness Analysis on Non-Flat Domains....Pages 1-11
Backwards Strictness Analysis: Proved and Improved....Pages 12-30
Abstract Interpretation of Polymorphic Functions....Pages 31-40
An Iterative Powerdomain Construction....Pages 41-55
Complexity Analysis for a Lazy Higher-Order Language....Pages 56-79
Deriving the fast Fourier algorithm by calculation....Pages 80-102
Chemical Reaction as a Computational Model....Pages 103-117
Sketching a Constructive Definition of ‘mix’....Pages 118-132
Transformation in a Non-Strict Language: An Approach to Instantiation....Pages 133-141
Referentially Transparent Database Languages....Pages 142-156
Imperative Effects from a Pure Functional Language....Pages 157-169
Designing Data Structures....Pages 170-181
Describing Butterfly Networks in Ruby....Pages 182-205
Implementation of a Non-Standard Interpretation System....Pages 206-224
Simulating Multiprocessor Architectures for Compiled Graph-Reduction....Pages 225-237
Dependent Sums Express Separation of Binding Times....Pages 238-253
Type inference and type classes....Pages 254-264
Implementing Haskell Type Classes....Pages 265-286
Implementing Functional Languages on the Transputer....Pages 287-295
Hope + on Flagship....Pages 296-307
Expressing and Reasoning About Non-deterministic Functional Programs....Pages 308-328
Evaluation Annotations for Hope + ....Pages 329-337
Some Ideas On Parallel Functional Programming....Pages 338-352
Parsing Using Combinators....Pages 353-370
Gerald: An Exceptional Lazy Functional Programming Language....Pages 371-390
Geometrization for Interactive Software Development....Pages 391-409
Back Matter....Pages 411-411

Polecaj historie

Functional Programming, Glasgow 1995: Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland, 10-12 July 1995 [1 ed.] 354014580X, 9783540145806

The Glasgow Functional Programming Group is the largest research centre of its kind in the UK, and its work has attained

500 35 980KB Read more

Ornamental Grasses and Grasslike Plants [Softcover reprint of the original 1st ed. 1990] 1468414577, 9781468414578

The Gramineae, or grass family, is second in size only to the Compositeae, or sunflower family. It is among the most imp

174 36 15MB Read more

Functional programming, Glasgow 1992 : proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 [Softcover reprint of the original 1st ed. 1993] 3540198202, 978-3-540-19820-8, 9780387198200, 0387198202, 978-1-4471-3215-8, 130-209-240-5

The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again

255 64 4MB Read more

Functional programming ; Glasgow workshop. proceedings ; 5-7 jul 1993 [Softcover reprint of the original 1st ed. 1994] 3540198792, 978-3-540-19879-6, 978-1-4471-3236-3, 0-387-19879-2

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since

276 28 3MB Read more

Functional programming, Glasgow 1994: proceedings of the 1994 Glasgow workshop [1 ed.] 3540199144, 978-3-540-19914-4, 978-1-4471-3573-9

This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of

320 21 2MB Read more

Mechanics, Boundary Layers and Function Spaces [Softcover reprint of the original 1st ed. 1989] 1461289092, 9781461289098, 978-1-4612-4556-8, 1461245567

Concern with the class of problems investigated in this monograph began for me as a graduate student at MIT (1958-62) wh

280 76 1MB Read more

Introduction to Calculus and Analysis. Vol.1 [Softcover reprint of the original 1st ed. 1989] 1461389577, 978-1-4613-8957-6, 978-1-4613-8955-2, 1461389550

From the Preface: (...) The book is addressed to students on various levels, to mathematicians, scientists, engineers. I

1,268 232 6MB Read more

The Foundations of Topological Graph Theory [Softcover reprint of the original 1st ed. 1995] 1461275733, 9781461275732

This is not a traditional work on topological graph theory. No current graph or voltage graph adorns its pages. Its read

219 88 1MB Read more

Functional programming : Glasgow 1991 : proceedings of the 1991 [4th] Glasgow Workshop on Funtional Programming, Portree, Isle of Skye ... 1991 [Softcover reprint of the original 1st ed. 1992] 3540197605, 978-3-540-19760-7, 9780387197609, 0387197605, 978-1-4471-3196-0, 0-13-729681-9, 4-87378-284-8, 1-85206-046-8

The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a

287 51 4MB Read more

Variational Methods: Proceedings of a Conference Paris, June 1988 [Softcover reprint of the original 1st ed. 1990] 1475710828, 978-1-4757-1082-3, 978-1-4757-1080-9

In the framework of the "Annee non lineaire" (the special nonlinear year) sponsored by the C.N.R.S. (the Frenc

354 113 4MB Read more