Modalities, cohesion, and information flow
GA Kavvos - Proceedings of the ACM on Programming Languages, 2019 - dl.acm.org
It is informally understood that the purpose of modal type constructors in programming
calculi is to control the flow of information between types. In order to lend rigorous support to …
calculi is to control the flow of information between types. In order to lend rigorous support to …
On the semantics of intensionality and intensional recursion
GA Kavvos - arxiv preprint arxiv:1712.09302, 2017 - arxiv.org
Intensionality is a phenomenon that occurs in logic and computation. In the most general
sense, a function is intensional if it operates at a level finer than (extensional) equality. This …
sense, a function is intensional if it operates at a level finer than (extensional) equality. This …