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

Functional Programming Languages and Computer Architecture 

Miranda: A non-strict functional language with polymorphic types

other

Author(s): D. A. Turner

Publication date (Online): June 8 2005

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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 9

Record: found
Abstract: not found
Book: not found

Edinburgh LCF

Michael J. C. Gordon, Arthur Milner, Christopher Wadsworth (1979)

0 comments Cited 89 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

The Mechanical Evaluation of Expressions

P. Landin (1964)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Proving Properties of Programs by Structural Induction

R. M. Burstall (1969)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1985

Publication date (Online): June 8 2005

Pages: 1-16

DOI: 10.1007/3-540-15975-4_26

SO-VID: e431fa1a-23a3-478d-8e01-bbaeca1b6419

History

Data availability:

Miranda: A non-strict functional language with polymorphic types

Read this book at

Related collections

Functional role of amyloid

Most cited references 9

Edinburgh LCF

The Mechanical Evaluation of Expressions

Proving Properties of Programs by Structural Induction

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,967

Cited by 24