Professor GRAHAM HUTTON GRAHAM.HUTTON@NOTTINGHAM.AC.UK
Professor of Computer Science
Report on BCTCS 2005
Hutton, Graham
Authors
Abstract
This report contains edited abstracts from BCTCS 2005, which was held on 22nd to 24th March 2005 in Nottingham, England.
Citation
Hutton, G. (2005). Report on BCTCS 2005
Journal Article Type | Article |
---|---|
Publication Date | Jun 1, 2005 |
Deposit Date | Oct 26, 2005 |
Publicly Available Date | Oct 9, 2007 |
Journal | Bulletin of the European Association for Theoretical Computer Science |
Peer Reviewed | Not Peer Reviewed |
Volume | 86 |
Public URL | https://nottingham-repository.worktribe.com/output/1019954 |
Files
bctcs.pdf
(165 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