1 citations · 1 across the 5 of their papers we have counts for
5 papers
Refined^2 Environment Classifiers
Yuito Murase, Atsushi Igarashi
MetaML-style multi-stage programming (MSP) supports quasi-quotation-based code generation, runtime execution of generated code, and cross-stage persistence (CSP). However, its inte…
Bounded Modal Logic: Explicit Scope Dependencies in Multi-Stage Programming
Yuito Murase, Akinori Maniwa
It is widely known that proof systems for modal logic can be interpreted as type systems for multi-stage programming (MSP). However, existing modal-logical foundations for MSP do n…
Contextual Metaprogramming for Session Types
Pedro Ângelo, Atsushi Igarashi, Yuito Murase +1
We propose the integration of staged metaprogramming into a session-typed message passing functional language. We build on a model of contextual modal type theory with multi-level…
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…