research
∙
07/09/2020
Logic of computational semi-effects and categorical gluing for equivariant functors
In this paper, we revisit Moggi's celebrated calculus of computational e...
research
∙
02/14/2020
Functional Programming in Pattern-Match-Oriented Programming Style
Throughout the history of functional programming, recursion has emerged ...
research
∙
08/31/2018
Non-linear Pattern Matching with Backtracking for Non-free Data Types
Non-free data types are data types whose data have no canonical forms. F...
research
∙
04/09/2018
Modality via Iterated Enrichment
This paper investigates modal type theories by using a new categorical s...
research
∙
01/28/2018