Functional Programming, Glasgow 1993

Functional Programming, Glasgow 1993
Author :
Publisher : Springer Science & Business Media
Total Pages : 297
Release :
ISBN-10 : 9781447132363
ISBN-13 : 144713236X
Rating : 4/5 (36X Downloads)

Book Synopsis Functional Programming, Glasgow 1993 by : John T. O'Donnell

Download or read book Functional Programming, Glasgow 1993 written by John T. O'Donnell and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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, becoming one of the largest computing science research groups at Glasgow and earning an international reputation. The first Glasgow Functional Programming Workshop was organised in the summer of 1988. Its purpose was threefold: to provide a snapshot of all the research going on within the group, to share research ideas between Glaswegians and colleagues in the U.K. and abroad, and to introduce research students to the art of writing and presenting papers at a semi-formal (but still local and friendly) conference. The success of the first workshop has led to an annual series: Rothesay (1988), Fraserburgh (1989), Ullapool (1990). Portree (1991), Ayr (1992), and the workshop reported in these proceedings: Ayr (1993). Most participants wrote a paper that appeared in the draft proceedings (distributed at the workshop), and each draft paper was presented by one of the authors. The papers were all refereed by several other participants at the workshop, both internal and external, and the programme committee selected papers for these proceedings. Most papers have been revised twice, based firstly on feedback at the workshop, and secondly using the referee reports.


Functional Programming, Glasgow 1993 Related Books

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,
First International Workshop on Larch
Language: en
Pages: 323
Authors: Ursula Martin
Categories: Computers
Type: BOOK - Published: 2013-11-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a fam
Functional Programming, Glasgow 1991
Language: en
Pages: 374
Authors: Rogardt Heldal
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The Glasgow functional programming group has held a workshop each summer since 1988. The entire group, accompanied by a selection of colleagues from other insti
5th Refinement Workshop
Language: en
Pages: 389
Authors: Cliff B. Jones
Categories: Mathematics
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and impl
Rules in Database Systems
Language: en
Pages: 419
Authors: Norman W. Paton
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is the proceedings of a workshop held at Heriot-Watt University in Edinburgh in August 1993. The central theme of the workshop was rules in database s