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

286 51 4MB

English Pages 363 [375] Year 1992

Report DMCA / Copyright

DOWNLOAD FILE

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

Table of contents :
Front Matter....Pages i-viii
A Parallel Functional Database on GRIP....Pages 1-24
A New Sharing Mechanism for the TIM....Pages 25-35
BWM....Pages 36-50
Actress : an Action Semantics Directed Compiler Generator....Pages 51-55
The Abstract Interpretation of Higher-Order Functional Languages: From Properties to Abstract Domains....Pages 56-72
A Note on the Choice of Domains for Projection-Based Program Analysis....Pages 73-81
An Operational Model of Strictness Properties and its Abstractions....Pages 82-99
A Novel Approach Towards Peephole Optimisations....Pages 100-111
Evaluation Order Analysis for Lazy Data Structures....Pages 112-127
Strictness Analysis Using Hindley-Milner Type Inference....Pages 128-133
Extending Deforestation for First Order Functional Programs....Pages 134-145
Efficient Type Inference Using Monads (Summary)....Pages 146-157
Generating More Practical Compilers by Partial Evaluation....Pages 158-163
A Loop-Detecting Interpreter for Lazy Programs....Pages 164-176
Making functionality more general....Pages 177-190
Getting your wires crossed....Pages 191-206
Implementing Projection-based Strictness Analysis....Pages 207-224
Vuillemin’s Exact Real Arithmetic....Pages 225-238
A Semantics for Relational Programming....Pages 239-252
From Primitive Recursive Functions to Silicon through Relations....Pages 253-264
Functional Compilation from the Standard ML Core Language to Lambda Calculus....Pages 265-277
TIP in Haskell — another exercise in functional programming....Pages 278-292
Experiments in Haskell - A Network Simulation Algorithm....Pages 293-297
Operational Theories of Improvement in Functional Languages....Pages 298-311
Combining Single-Space and Two-Space Compacting Garbage Collectors....Pages 312-323
External Function Calls in a Functional Language....Pages 324-331
A note on abstraction in Ruby....Pages 332-338
Requirements for a Functional Programming Environment....Pages 339-346
Debugging by Dataflow — Summary....Pages 347-351
Using XView/X11 from Miranda....Pages 352-363
Back Matter....Pages 365-367

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
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

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
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

Ordered Algebraic Structures: The 1991 Conrad Conference [Softcover reprint of the original 1st ed. 1993] 9401047553, 9789401047555
Ordered Algebraic Structures: The 1991 Conrad Conference [Softcover reprint of the original 1st ed. 1993] 9401047553, 9789401047555

This volume contains a selection of papers presented at the 1991 Conrad Conference, held in Gainesville, Florida, USA, i

183 73 4MB 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
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

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
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

Functional Programming is a relatively new area of computer science. These proceedings contain 25 papers representing an

302 42 4MB Read more

How Ottawa Spends, 1991-1992: The Politics of Fragmentation 9780773591219
How Ottawa Spends, 1991-1992: The Politics of Fragmentation 9780773591219

This volume is the twelfth in the series on federal government spending and policy performance compiled by Carleton Univ

181 55 19MB Read more

Strings & Symmetries, 1991: Proceedings of the Conference, Stony Brook, May 20-25, 1991 9810207425, 9789810207427
Strings & Symmetries, 1991: Proceedings of the Conference, Stony Brook, May 20-25, 1991 9810207425, 9789810207427

This is a collection of important papers presented by an international group of outstanding scientists at a seminar on s

584 70 31MB 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
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

The Age of Extremes: 1914-1991 9780349144399
The Age of Extremes: 1914-1991 9780349144399

361 17 6MB Read more

A Survey of High-Level Synthesis Systems (The Springer International Series in Engineering and Computer Science, 135) [Softcover reprint of the original 1st ed. 1991] 9781461367727, 9781461539681, 1461367727
A Survey of High-Level Synthesis Systems (The Springer International Series in Engineering and Computer Science, 135) [Softcover reprint of the original 1st ed. 1991] 9781461367727, 9781461539681, 1461367727

After long years of work that have seen little industrial application, high-level synthesis is finally on the verge of b

142 41 18MB Read more

Unsere Partner sammeln Daten und verwenden Cookies zur Personalisierung und Messung von Anzeigen. Erfahren Sie, wie wir und unser Anzeigenpartner Google Daten sammeln und verwenden. Cookies zulassen