Yuichi Nishiwaki

13 papers A 1B 3Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2023 A conf
Contextual Modal Type Theory with Polymorphic Contexts.
ESOP
Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi
2020 B conf
A robust and flexible operating system compatibility architecture.
VEE
Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden
2020 J jnl
Functional Programming in Pattern-Match-Oriented Programming Style.
CoRR
Satoshi Egi, Yuichi Nishiwaki
2020 J jnl
Functional Programming in Pattern-Match-Oriented Programming Style.
Art Sci. Eng. Program.
Satoshi Egi, Yuichi Nishiwaki
2020 J jnl
Logic of computational semi-effects and categorical gluing for equivariant functors.
CoRR
Yuichi Nishiwaki, Toshiya Asai
2019 J jnl
Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic.
J. Inf. Process.
Yoshihiko Kakutani, Yuito Murase, Yuichi Nishiwaki
2018 J jnl
Modality via Iterated Enrichment.
CoRR
Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase
2018 B conf
Modality via Iterated Enrichment.
MFPS
Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase
2018 B conf
Non-linear Pattern Matching with Backtracking for Non-free Data Types.
APLAS
Satoshi Egi, Yuichi Nishiwaki
2018 J jnl
Non-linear Pattern Matching with Backtracking for Non-free Data Types.
CoRR
Satoshi Egi, Yuichi Nishiwaki
2018 J jnl
Polymorphic Context for Contextual Modality.
CoRR
Yuito Murase, Yuichi Nishiwaki
2017 — conf
Bash on Ubuntu on macOS.
APSys
Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden
2016 — conf
F-Calculus: A Universal Programming Language of Self-Stabilizing Computational Fields.
FAS*W@SASO/ICCAC
Yuichi Nishiwaki