3 citations · 3 across the 4 of their papers we have counts for
4 papers
Logic of computational semi-effects and categorical gluing for equivariant functors
Yuichi Nishiwaki, Toshiya Asai
In this paper, we revisit Moggi's celebrated calculus of computational effects from the perspective of logic of monoidal action (actegory). Our development takes the following step…
Functional Programming in Pattern-Match-Oriented Programming Style
Satoshi Egi, Yuichi Nishiwaki
Throughout the history of functional programming, recursion has emerged as a natural method for describing loops in programs. However, there does often exist a substantial cognitiv…
Modality via Iterated Enrichment
Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase
This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly…
Contextual Modal Type Theory with Polymorphic Contexts
Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi
Modal types -- types that are derived from proof systems of modal logic -- have been studied as theoretical foundations of metaprogramming, where program code is manipulated as fir…