Yukiyoshi Kameyama

Available identifiers

zbMath Open kameyama.yukiyoshiMaRDI QIDQ235614

List of research outcomes

Publication	Date of Publication	Type
Unified program generation and verification: a case study on number-theoretic transform	2022-08-10	Paper
FFT program generation for ring LWE-based cryptography	2022-04-22	Paper
Language-integrated query with nested data structures and grouping	2021-07-06	Paper
One-shot algebraic effects as coroutines	2021-07-01	Paper
Refined environment classifiers. Type- and scope-safe code generation with mutable cells	2016-12-21	Paper
A sound and complete axiomatization of delimited continuations	2015-07-02	Paper
Shifting the stage. Staging with delimited control	2012-09-21	Paper
A call-by-name CPS hierarchy	2012-07-20	Paper
Type checking and typability in domain-free lambda calculi	2012-01-04	Paper
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence	2008-11-20	Paper
A Direct Algorithm for Multi-valued Bounded Model Checking	2008-11-20	Paper
Polymorphic Delimited Continuations	2008-05-15	Paper
Typed Dynamic Control Operators for Delimited Continuations	2008-04-11	Paper
Axioms for control operators in the CPS hierarchy	2007-12-17	Paper
Computer Science Logic	2007-06-21	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4449007	2004-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4433983	2003-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4413069	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4536444	2002-11-25	Paper
Strong normalizability of the non-deterministic catch/throw calculi	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2763701	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q4953359	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4703043	1999-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4703862	1999-12-01	Paper
A TYPE-FREE THEORY OF HALF-MONOTONE INDUCTIVE DEFINITIONS	1995-10-29	Paper

Research outcomes over time

This page was built for person: Yukiyoshi Kameyama