F-Calculus: A Universal Programming Language of Self-Stabilizing Computational Fields. - Yuichi Nishiwaki (FAS*W@SASO/ICCAC, 2016)

Bash on Ubuntu on macOS. - Takaya Saeki; Yuichi Nishiwaki; Takahiro Shinagawa; Shinichi Honiden (APSys, 2017)

Non-linear Pattern Matching with Backtracking for Non-free Data Types. - Satoshi Egi; Yuichi Nishiwaki (APLAS, 2018)

Polymorphic Context for Contextual Modality. - Yuito Murase; Yuichi Nishiwaki (CoRR, 2018)

Modality via Iterated Enrichment. - Yuichi Nishiwaki; Yoshihiko Kakutani; Yuito Murase (MFPS, 2018)

Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic. - Yoshihiko Kakutani; Yuito Murase; Yuichi Nishiwaki (J. Inf. Process., 2019)

A robust and flexible operating system compatibility architecture. - Takaya Saeki; Yuichi Nishiwaki; Takahiro Shinagawa; Shinichi Honiden (VEE, 2020)

Logic of computational semi-effects and categorical gluing for equivariant functors. - Yuichi Nishiwaki; Toshiya Asai (CoRR, 2020)

Functional Programming in Pattern-Match-Oriented Programming Style. - Satoshi Egi; Yuichi Nishiwaki (Art Sci. Eng. Program., 2020)

Contextual Modal Type Theory with Polymorphic Contexts. - Yuito Murase; Yuichi Nishiwaki; Atsushi Igarashi (ESOP, 2023)