Cover Image

Functional Programming, Glasgow 1992 : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /

Show other versions (1)

This volume contains the papers presented at the latest Glasgow Workshop on Functional Programming, held in Ayr, Scotland, 6-8 July 1992. These workshops have been held annually by the Glasgow Functional Programming group since 1988. Despite the obvious advantages of functional programming, there ar...

Full description

Bibliographic Details
Main Author:	Launchbury, John
Corporate Author:	SpringerLink (Online service)
Other Authors:	Sansom, Patrick
Format:	eBook
Language:	English
Published:	London : Springer London, 1993.
Series:	Workshops in computing.
Subjects:	Computer science. Software engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /
by: Hammond, Kevin
Published: (1995)

Functional Programming, Glasgow 1990 : Proceedings of the 1990 Glasgow Workshop on Functional Programming 13-15 August 1990, Ullapool, Scotland /
by: Jones, Simon L. Peyton
Published: (1991)

Functional Programming, Glasgow 1991 : Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 /
by: Heldal, Rogardt
Published: (1992)

Functional Programming : Proceedings of the 1989 Glasgow Workshop 21-23 August 1989, Fraserburgh, Scotland /
by: Davis, Kei
Published: (1990)

Functional Integration : Theory and Applications /
by: Antoine, Jean Pierre
Published: (1980)

5th Refinement Workshop : Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 /
by: Jones, Cliff B.
Published: (1992)

NAPAW 92 : Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 /
by: Purushothaman
Published: (1993)

Persistent Object Systems : Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1-4 September 1992 /
by: Albano, Antonio
Published: (1993)

Shifting Paradigms in Software Engineering : Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in Klagenfurt, Austria, 1992 /
by: Mittermeir, Roland
Published: (1992)

Systematic Reuse: Issues in Initiating and Improving a Reuse Program : Proceedings of the International Workshop on Systematic Reuse, Liverpool, 8-9 January 1996 /
by: Sarshar, Marjan
Published: (1996)

Program Transformation and Programming Environments /
by: Pepper, Peter
Published: (1984)

Programming in the 1990s : an Introduction to the Calculation of Programs /
by: Cohen, Edward
Published: (1990)

The IOTA Programming System : a Modular Programming Environment /
by: Nakajima, R.
Published: (1983)

The Science of Programming /
by: Gries, David
Published: (1981)

Into the Realm of Oberon : An Introduction to Programming and the Oberon-2 Programming Language /
by: Nikitin, Eric W.
Published: (1997)

Programming with MotifTM /
by: Gregory, Keith D.
Published: (1992)

Programming for Software Sharing /
by: Muxworthy, D. T.
Published: (1983)

The World of Programming Languages /
by: Marcotty, Michael
Published: (1987)

Z User Workshop, London 1992 : Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 /
by: Bowen, J. P.
Published: (1993)

A Programming Approach to Computability /
by: Kfoury, A. J.
Published: (1982)

Introduction to Programming with Modula-2 /
by: Blaschek, Günther
Published: (1990)

JSP for Practical Program Design /
by: Dudman, K. E.
Published: (1996)

Object-Oriented Programming : with Prototypes /
by: Blaschek, Günther
Published: (1994)

Algorithmic Language and Program Development /
by: Bauer, Friedrich L.
Published: (1982)

Programming with Sets : an Introduction to SETL /
by: Schwartz, J. T.
Published: (1986)

Object-Oriented Programming in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1995)

A Structured Programming Approach to Data /
by: Coleman, Derek
Published: (1979)

Object-Oriented Programming : in Oberon-2 /
by: Mössenböck, Hanspeter
Published: (1993)

Subrecursive Programming Systems : Complexity & Succinctness /
by: Royer, James S.
Published: (1994)

A Survey of Verification Techniques for Parallel Programs /
by: Barringer, Howard
Published: (1985)

Security and Persistence : Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8-11 May 1990, Bremen, West Germany /
by: Rosenberg, John
Published: (1990)

Formal Specification Techniques for Engineering Modular C Programs /
by: Tan, Yang Meng
Published: (1996)

Program Development by Refinement : Case Studies Using the B Method /
by: Sekerinski, Emil
Published: (1999)

PISA : A Programming System for Interactive Production of Application Software /
by: Marty, Rudolf
Published: (1981)

The Field Programming Environment: A Friendly Integrated Environment for Learning and Development /
by: Reiss, Steven P.
Published: (1995)

Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs /
by: Ying, Mingsheng
Published: (2001)

Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK /
by: Kwiatkowska, Marta Zofia
Published: (1990)

4th Refinement Workshop : Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge /
by: Morris, Joseph M.
Published: (1991)

IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990 /
by: Birtwistle, G. M. (Graham M.)
Published: (1991)

Safety and Reliability of Software Based Systems : Twelfth Annual CSR Workshop (Bruges, 12-15 September 1995) /
by: Shaw, Roger
Published: (1997)