E-LIB Suche - Ergebnisse für: Asai, Kenichi

1

Towards a Reflection for Effect Handlers:

, In: Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation,

Cong, Youyou ; Asai, Kenichi - p. 55-65 , 2023

Link: https://dl.acm.org/doi/1..

2

A Functional Abstraction of Typed Invocation Contexts:

Cong, Youyou ; Ishio, Chiaki ; Honda, Kaho.
Logical Methods in Computer Science. 18, Issue 3 (2022) - p. , 2022

Link: https://doi.org/10.46298..

3

Understanding Algebraic Effect Handlers via Delimited Contr..:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,

Cong, Youyou ; Asai, Kenichi - p. 59-79 , 2022

Link: https://doi.org/10.1007/..

4

Type System for Four Delimited Control Operators:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,

Ishio, Chiaki ; Asai, Kenichi - p. 45-58 , 2022

Link: https://dl.acm.org/doi/1..

5

Verifying Selective CPS Transformation for Shift and Reset:

, In: Lecture Notes in Computer Science; Trends in Functional Programming,

Ishio, Chiaki ; Asai, Kenichi - p. 38-57 , 2020

Link: https://doi.org/10.1007/..

6

Extracting a call-by-name partial evaluator from a proof of..:

, In: Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Asai, Kenichi - p. 61-67 , 2019

Link: https://dl.acm.org/doi/1..

7

Handling delimited continuations with dependent types:

Cong, Youyou ; Asai, Kenichi
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-31 , 2018

Link: https://dl.acm.org/doi/1..

8

Handling delimited continuations with dependent types:

Cong, Youyou ; Asai, Kenichi
Proceedings of the ACM on Programming Languages. 2 (2018) ICFP - p. 1-31 , 2018

Link: https://doi.org/10.1145/..

9

Certifying CPS Transformation of Let-Polymorphic Calculus U..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Yamada, Urara ; Asai, Kenichi - p. 375-393 , 2018

Link: https://doi.org/10.1007/..

10

Special Issue on the 2015 International Conference on Gener..:

Gokhale, Aniruddha ; Asai, Kenichi ; Schultz, Ulrik Pagh
Computer Languages, Systems & Structures. 48 (2017) - p. 1-2 , 2017

Link: https://doi.org/10.1016/..

11

Selected and extended papers from Partial Evaluation and Pr..:

Asai, Kenichi ; Sagonas, Konstantinos
Science of Computer Programming. 137 (2017) - p. 1 , 2017

Link: https://doi.org/10.1016/..

12

Selective CPS transformation for shift and reset:

, In: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Asai, Kenichi ; Uehara, Chihiro - p. 40-52 , 2017

Link: https://dl.acm.org/doi/1..

13

Toward introducing binding-time analysis to MetaOCaml:

, In: Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation,

Asai, Kenichi - p. 97-102 , 2016

Link: https://dl.acm.org/doi/1..

14

Proceedings of the 2015 Workshop on Partial Evaluation and ..:

Asai, Kenichi ; Sagonas, Kostis , 2015

Link: https://dl.acm.org/doi/1..

15

Compiling a reflective language using MetaOCaml:

Asai, Kenichi
ACM SIGPLAN Notices. 50 (2014) 3 - p. 113-122 , 2014

Link: https://doi.org/10.1145/..