Stream Fusion for Isabelle's Code Generator Rough Diamond

Metadata only

Author

Date

2015

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Journal / series

Lecture Notes in Computer Science

Volume

9236

Pages / Article No.

270 - 277

Publisher

Springer

Event

6th International Conference on Interactive Theorem Proving, ITP 2015, Nanjing, China, August 24-27, 2015

Organisational unit

03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection