A Tutorial on Co-induction and Functional Programming

A Tutorial on Co-induction and Functional Programming (1994)

by Andrew D. Gordon

Venue:	IN GLASGOW FUNCTIONAL PROGRAMMING WORKSHOP
Citations:	24 - 1 self

User correction supplied by mph

Datum	Value	Source
TITLE	A Tutorial on Co-induction and Functional Programming	user correction - Legacy Corrections
AUTHOR NAME	Andrew D. Gordon	user correction
AUTHOR AFFIL	University of Cambridge Computer Laboratory	user correction
AUTHOR ADDR	New Museums Site, Cambridge CB2 3QG, United Kingdom	user correction
ABSTRACT	Co-induction is an important tool for reasoning about unbounded structures. This tutorial explains the foundations of co-induction, and shows how it justifies intuitive arguments about lazy streams, of central importance to lazy functional programmers. We explain from first principles a theory based on a new formulation of bisimilarity for functional programs, which coincides exactly with Morris-style contextual equivalence. We show how to prove properties of lazy streams by co-induction and derive Bird and Wadler's Take Lemma, a well-known proof technique for lazy streams.	user correction
YEAR	1994	INFERENCE
VENUE	IN GLASGOW FUNCTIONAL PROGRAMMING WORKSHOP	user correction
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	78--95	INFERENCE
CITATIONS	27 found	ParsCit 1.0