Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Nishiwaki, Yuichi"'
Autor:
Nishiwaki, Yuichi, Asai, Toshiya
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 steps. Firstly, we perform proof-theoretic reconstruction of Moggi's compu
Externí odkaz:
http://arxiv.org/abs/2007.04621
Autor:
Egi, Satoshi, Nishiwaki, Yuichi
Publikováno v:
The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 7
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 cognitive distance between the recursive definition and the simplest explanati
Externí odkaz:
http://arxiv.org/abs/2002.06176
Autor:
Egi, Satoshi, Nishiwaki, Yuichi
Publikováno v:
Asian Symposium on Programming Languages and Systems. Springer. 2018
Non-free data types are data types whose data have no canonical forms. For example, multisets are non-free data types because the multiset $\{a,b,b\}$ has two other equivalent but literally different forms $\{b,a,b\}$ and $\{b,b,a\}$. Pattern matchin
Externí odkaz:
http://arxiv.org/abs/1808.10603
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 infinitely) iterated enrichment and interpretation of modality as hom
Externí odkaz:
http://arxiv.org/abs/1804.02809
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 first-class values. In modal type systems, modality corresponds to a type
Externí odkaz:
http://arxiv.org/abs/1801.09225
Autor:
Nishiwaki, Yuichi
Publikováno v:
2016 IEEE 1st International Workshops on Foundations & Applications of Self* Systems (FAS*W); 2016, p198-203, 6p
