There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 45

Record: found
Abstract: not found
Conference Proceedings: not found

Theorems for free!

Philip Wadler (1989)

0 comments Cited 48 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Deforestation: transforming programs to eliminate trees

Philip Wadler (1990)

0 comments Cited 38 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Specification of graph translators with triple graph grammars

Andy Schürr (1995)

0 comments Cited 36 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2012

Pages: 1-46

DOI: 10.1007/978-3-642-32202-0_1

SO-VID: 738fb57b-1935-43cc-aab5-a92a71baad5e

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 3

Reflections on Monadic Lenses
Authors: Faris Abou-Saleh, James Cheney, Jeremy Gibbons …
Coherence for lenses and open games
Authors: Jules Hedges
Composing Bidirectional Programs Monadically
Authors: Li-yao Xia, Dominic Orchard, Meng Wang

See all cited by

Three Complementary Approaches to Bidirectional Programming

Read this book at

Related collections

Smart Contracts Programming Languages

Most cited references 45

Theorems for free!

Deforestation: transforming programs to eliminate trees

Specification of graph translators with triple graph grammars

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,418

Cited by 3