The little prover / / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.
Saved in:
| VerfasserIn: | |
|---|---|
| TeilnehmendeR: | |
| Place / Publishing House: | Cambridge, Massachusetts ;, London, [England] : : The MIT Press,, 2015. 2015 |
| Year of Publication: | 2015 |
| Language: | English |
| Online Access: | |
| Physical Description: | 1 online resource (244 pages) :; illustrations |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Bibliography: | Includes bibliographical references and index. |
|---|---|
| ISBN: | 9780262527958 9780262330565 |
| Hierarchical level: | Monograph |
| Statement of Responsibility: | Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen. |