Burak Ekici

IMP with exceptions over decorated logic

2015 · arXiv (Cornell University)

In this paper, we facilitate the reasoning about impure programming languages, by annotating terms with `decorations' that describe what computational (side) effect evaluation of a term may involve. In a point-free categorical language,called the `decorated …