Cover Image

Functional Programming, Glasgow 1994 : Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12-14 September 1994 /

The Glasgow Functional Programming Group is the largest research centre of its kind in the UK, and its work has attained international recognition. The group has organised annual workshops since 1988, aimed at providing a focus for new research and encouraging contact with other functional language...

Full description

Bibliographic Details
Main Author:	Hammond, Kevin
Corporate Author:	SpringerLink (Online service)
Other Authors:	Turner, David N., Sansom, Patrick M.
Format:	eBook
Language:	English
Published:	London : Springer London, 1995.
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 1992 : Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992 /
by: Launchbury, John
Published: (1993)

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)

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)

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

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

Formal Aspects of Measurement : Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 /
by: Denvir, Tim
Published: (1992)

Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
by: Burn, Geoffrey
Published: (1993)

Proof in VDM: Case Studies /
by: Bicarregui, J. C.
Published: (1998)

Asynchronous Digital Circuit Design /
by: Birtwistle, G. M. (Graham M.)
Published: (1995)

Notations for Software Design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1994)

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

Mural: A Formal Development Support System /
by: Jones, C. B.
Published: (1991)

Formal Specification : Techniques and Applications /
by: Nissanke, Nimal
Published: (1999)

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

Responsive Computing : a Special Issue of REAL-TIME SYSTEMS The International Journal of Time-Critical Computing Systems Vol. 7, No. 3 (1994) /
by: Malek, Miroslaw
Published: (1994)

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)

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)

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)

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)