Reasoning about effectful programs and evaluation order (2019)
Attributed to:
Practical coeffects
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Thesis