Yuichi Nishiwaki

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 13

Top Topics

Quantifier Elimination

Oriented Programming

Pattern Matching

Top Venues

FAS*W@SASO/ICCAC

J. Inf. Process.

Publications

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