Search Results

Functional Programming, Glasgow 1992

Download or Read eBook Functional Programming, Glasgow 1992 PDF written by John Launchbury and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 278 pages. Available in PDF, EPUB and Kindle.
Functional Programming, Glasgow 1992
Author :
Publisher : Springer Science & Business Media
Total Pages : 278
Release :
ISBN-10 : 9781447132158
ISBN-13 : 1447132157
Rating : 4/5 (58 Downloads)

Book Synopsis Functional Programming, Glasgow 1992 by : John Launchbury

Book excerpt: The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retreated to a Scottish seaside town to discuss our latest work, this time spending three days in Ayr. We were joined by a number of colleagues from other universities and from industry, with whom we have been enjoying fruitful collaboration. The workshop serves the dual purpose of ensuring that the whole group remains informed of each other's work, and of providing workshop experience for research students. Most participants presented a short talk about their work, supplemented by papers which appeared in a draft proceedings distributed at the workshop. Since then the papers have been reviewed and the majority are now published here following revision. The workshop also contained a lively discussion session on functional language applications, to which the industrial participants made very helpful contributions. One interesting feature of this volume is the number of papers addressing practical issues of realistic use of functional languages, from benchmarking and profiling, to user interfaces and file handling. It is perhaps indicative that at last lazy functional languages are being used for significantly larger applications than has been typical in the past. This type of paper is likely to feature prominently in relevant conference proceedings for the next few years. Other papers here continue to address more theoretical topics, such as program logic, semantics of non determinism, program analysis, and loop detection.


Functional Programming, Glasgow 1992 Related Books

Functional Programming, Glasgow 1992
Language: en
Pages: 278
Authors: John Launchbury
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Glasgow Functional Programming Group is widely recognised for its research in lazy functional languages. Once again this year, for the fifth time, we retrea
Functional Programming, Glasgow 1993
Language: en
Pages: 297
Authors: John T. O'Donnell
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Functional Programming Group at the University of Glasgow was started in 1986 by John Hughes and Mary Sheeran. Since then it has grown in size and strength,
Functional Programming, Glasgow 1994
Language: en
Pages: 267
Authors: Kevin Hammond
Categories: Mathematics
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This is the proceedings of the seventh annual workshop held by the Glasgow Functional Programming Group. The purpose of the workshop is to provide a focus for n
Semantics of Specification Languages (SoSL)
Language: en
Pages: 367
Authors: Derek J. Andrews
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was or
Functional Programming and Input/Output
Language: en
Pages: 188
Authors: Andrew D. Gordon
Categories: Computers
Type: BOOK - Published: 1994-10-13 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Extends functional programming to solve I/O problems, while retaining usual verification features.
Scroll to top