Scalability using effects
Logic in Computer Science
2013-07-02 v1 Category Theory
Abstract
This note is about using computational effects for scalability. With this method, the specification gets more and more complex while its semantics gets more and more correct. We show, from two fundamental examples, that it is possible to design a deduction system for a specification involving an effect without expliciting this effect.
Cite
@article{arxiv.1307.0489,
title = {Scalability using effects},
author = {Dominique Duval},
journal= {arXiv preprint arXiv:1307.0489},
year = {2013}
}