Professor GRAHAM HUTTON GRAHAM.HUTTON@NOTTINGHAM.AC.UK
Professor of Computer Science
Calculating an exceptional machine
Hutton, Graham; Wright, Joel
Authors
Joel Wright
Contributors
Hans-Wolfgang Loidl
Editor
Citation
Hutton, G., & Wright, J. (2006). Calculating an exceptional machine. In H. Loidl (Ed.), Trends in functional programming. Volume 5. Intellect
Publication Date | Feb 1, 2006 |
---|---|
Deposit Date | Mar 18, 2015 |
Publicly Available Date | Mar 18, 2015 |
Publisher | Intellect |
Peer Reviewed | Peer Reviewed |
Book Title | Trends in functional programming. Volume 5 |
ISBN | 9781841501444 |
Public URL | https://nottingham-repository.worktribe.com/output/1018531 |
Related Public URLs | http://www.intellectbooks.co.uk/books/view-Book,id=4550/ |
Additional Information | Selected papers from the Fifth Symposium on Trends in Functional Programming, Munich, November 2004. |
Files
machine.pdf
(79 Kb)
PDF
You might also like
Monadic compiler calculation (functional pearl)
(2022)
Journal Article
Calculating dependently-typed compilers (functional pearl)
(2021)
Journal Article
Calculating correct compilers II: Return of the register machines
(2020)
Journal Article
Liquidate your assets: reasoning about resource usage in liquid Haskell
(2019)
Journal Article
Call-by-need is clairvoyant call-by-value
(2019)
Journal Article
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: digital-library-support@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search