Yuichi Nishiwaki

According to our database, Yuichi Nishiwaki authored at least 10 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Contextual Modal Type Theory with Polymorphic Contexts.

Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi

Proceedings of the Programming Languages and Systems, 2023

2020

Functional Programming in Pattern-Match-Oriented Programming Style.

Satoshi Egi, Yuichi Nishiwaki

Art Sci. Eng. Program., 2020

Logic of computational semi-effects and categorical gluing for equivariant functors.

Yuichi Nishiwaki, Toshiya Asai

CoRR, 2020

A robust and flexible operating system compatibility architecture.

Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden

Proceedings of the VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2020

2019

Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic.

Yoshihiko Kakutani, Yuito Murase, Yuichi Nishiwaki

J. Inf. Process., 2019

2018

Modality via Iterated Enrichment.

Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Polymorphic Context for Contextual Modality.

Yuito Murase, Yuichi Nishiwaki

CoRR, 2018

Non-linear Pattern Matching with Backtracking for Non-free Data Types.

Satoshi Egi, Yuichi Nishiwaki

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Bash on Ubuntu on macOS.

Takaya Saeki, Yuichi Nishiwaki, Takahiro Shinagawa, Shinichi Honiden

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

2016

F-Calculus: A Universal Programming Language of Self-Stabilizing Computational Fields.

Yuichi Nishiwaki

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016