The following pages link to Yukiyoshi Kameyama (Q235614):
Displaying 26 items.
- Type checking and typability in domain-free lambda calculi (Q655411) (← links)
- One-shot algebraic effects as coroutines (Q2037431) (← links)
- Language-integrated query with nested data structures and grouping (Q2039943) (← links)
- FFT program generation for ring LWE-based cryptography (Q2128754) (← links)
- Unified program generation and verification: a case study on number-theoretic transform (Q2163165) (← links)
- Axioms for control operators in the CPS hierarchy (Q2464730) (← links)
- (Q2763701) (← links)
- A Call-by-Name CPS Hierarchy (Q2900268) (← links)
- Shifting the stage (Q2913928) (← links)
- Refined Environment Classifiers (Q3179298) (← links)
- Polymorphic Delimited Continuations (Q3498441) (← links)
- A Direct Algorithm for Multi-valued Bounded Model Checking (Q3540066) (← links)
- Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence (Q3540198) (← links)
- (Q4413069) (← links)
- (Q4433983) (← links)
- (Q4449007) (← links)
- (Q4536444) (← links)
- (Q4703043) (← links)
- (Q4703862) (← links)
- A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS (Q4853338) (← links)
- (Q4953359) (← links)
- A sound and complete axiomatization of delimited continuations (Q5261274) (← links)
- Computer Science Logic (Q5292660) (← links)
- Computer Science Logic (Q5311275) (← links)
- Typed Dynamic Control Operators for Delimited Continuations (Q5458440) (← links)
- Strong normalizability of the non-deterministic catch/throw calculi (Q5958297) (← links)