Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Subtitle: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, ... Lectures (Lecture Notes in Computer Science)
Contributors: Roland Backhouse (Editor); Roy Crole (Editor); Jeremy Gibbons (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 28, 2002
Language: eng
Format: Paperback
Number of pages: 387
ISBN-13: 9783540436133
Subjects: Mathematical theory of computation; Mathematics; Computer science; Programming Languages - General; Computer Mathematics; Computers; Computers - Languages / Programming; General; Computer Books: Languages; Congresses; Programming - Software Development; Computers / Programming / Software Development; Programming - General; Algebra; Computer Programming
First sentence: This volume is an up-to-date introduction to developments in the calculational construction of computer programs, with particular emphasis on the use of algebraic and coalgebraic datatypes.