Kenichi Asai

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
OCaml Blockly Journal of Functional Programming	2025-05-20	Paper
Understanding algebraic effect handlers via delimited control operators Lecture Notes in Computer Science	2023-08-03	Paper
Certifying CPS transformation of let-polymorphic calculus using PHOAS Programming Languages and Systems	2023-08-02	Paper
A functional abstraction of typed invocation contexts	2023-06-23	Paper
Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators.	2023-06-23	Paper
A Functional Abstraction of Typed Invocation Contexts Logical Methods in Computer Science	2022-10-06	Paper
Verifying selective CPS transformation for shift and reset Lecture Notes in Computer Science	2022-08-30	Paper
Functional un\(\|\)unparsing Higher-Order and Symbolic Computation	2013-01-08	Paper
MikiBeta : A General GUI Library for Visualizing Proof Trees Logic-Based Program Synthesis and Transformation	2011-05-27	Paper
On typing delimited continuations: Three new solutions to the printf problem Higher-Order and Symbolic Computation	2010-05-05	Paper
Polymorphic Delimited Continuations Programming Languages and Systems	2008-05-15	Paper
scientific article; zbMATH DE number 2036334 (Why is no real title available?)	2004-02-02	Paper
Binding-time analysis for both static and dynamic expressions New Generation Computing	2002-02-28	Paper

Research outcomes over time

This page was built for person: Kenichi Asai