Professor GRAHAM HUTTON GRAHAM.HUTTON@NOTTINGHAM.AC.UK
PROFESSOR OF COMPUTER SCIENCE
A tool for relational programmers
Hutton, Graham; Meijer, Erik; Voermans, Ed
Authors
Erik Meijer
Ed Voermans
Citation
Hutton, G., Meijer, E., & Voermans, E. A tool for relational programmers. Chalmers University, Sweden
| Book Type | Monograph |
|---|---|
| Deposit Date | Mar 18, 2015 |
| Public URL | https://nottingham-repository.worktribe.com/output/1024641 |
| Additional Information | Mathematics of Programming (MOP) mailing list |
Files
allegories.txt
(14 Kb)
Other
You might also like
Quotient Haskell: Lightweight Quotient Types for All
(2024)
Journal Article
Programming language semantics: It’s easy as 1,2,3
(2023)
Journal Article
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
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: discovery-access-systems@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 © 2025
Advanced Search