2 citations · 4 across the 4 of their papers we have counts for
4 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…
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…
Type-Based Verification of Connectivity Constraints in Lattice Surgery
Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi
Fault-tolerant quantum computation using lattice surgery can be abstracted as operations on graphs, wherein each logical qubit corresponds to a vertex of the graph, and multi-qubit…
Linear Contextual Metaprogramming and Session Types
Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos
We explore the integration of metaprogramming in a call-by-value linear lambda-calculus and sketch its extension to a session type system. We build on a model of contextual modal t…