Kenichi Asai

Available identifiers

zbMath Open asai.kenichiMaRDI QIDQ232931

List of research outcomes

Publication	Date of Publication	Type
Understanding algebraic effect handlers via delimited control operators	2023-08-03	Paper
Certifying CPS transformation of let-polymorphic calculus using PHOAS	2023-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q6159927	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	2022-10-06	Paper
Verifying Selective CPS Transformation for Shift and Reset	2022-08-30	Paper
Functional un\(|\)unparsing	2013-01-08	Paper
MikiBeta : A General GUI Library for Visualizing Proof Trees	2011-05-27	Paper
On typing delimited continuations: Three new solutions to the printf problem	2010-05-05	Paper
Polymorphic Delimited Continuations	2008-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4445771	2004-02-02	Paper
Binding-time analysis for both static and dynamic expressions	2002-02-28	Paper

Research outcomes over time

This page was built for person: Kenichi Asai