論文 - 浅井 健一

1. OCaml Blockly

   Journal of Functional Programming, Cambridge University Press, 35巻e12号(頁1 - 28), 2025年04月, Kenichi Asai, 原著, 研究論文（学術雑誌）, 単著

2. Algebraic Stepper for Simple Modules

   Workshop on Partial Evaluation and Program Manipulation, Association for Computing Machinery(頁13 - 29), 2025年01月, Kenichi Asai, Hinano Akiyama, 原著, 研究論文（国際会議プロシーディングス）, 第一著者相当

3. Understanding Algebraic Effect Handlers via Delimited Control Operators

   Lecture Notes in Computer Science, , 13401巻(頁59 - 79), 2023年01月, Cong, Y., and K. Asai, 原著, 研究論文（学術雑誌）, 共著者

4. Type System for Four Delimited Control Operators

   Generative Programming: Concepts and Experiences (GPCE 2022), , 21巻(頁45 - 58), 2022年12月, Chiaki Ishio, Kenichi Asai, 原著, 研究論文（国際会議プロシーディングス）, 共著者

5. A Functional Abstraction of Typed Invocation Contexts

   Logical Methods in Computer Science, , 18巻3号(頁34:1 - 34:31), 2022年09月, Cong, Y., C. Ishio, K. Honda, and K. Asai, 原著, 研究論文（学術雑誌）, 共著者

6. Towards Dependently-Typed Control Effects

   Workshop on Type-Driven Development (TyDe 2022), , 7巻(頁1 - 5), 2022年09月, Cong, Y., and K. Asai, 原著, 研究論文（国際会議プロシーディングス）, 共著者

7. A Functional Abstraction of Typed Invocation Contexts

   Formal Structures for Computation and Deduction (FSCD 2021), , 195巻(頁12:1 - 12:18), 2021年07月, Cong, Y., C. Ishio, K. Honda, and K. Asai, 原著, 研究論文（国際会議プロシーディングス）, 共著者

8. Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators

   Formal Structures for Computation and Deduction (FSCD 2021), , 195巻(頁16:1 - 16:19), 2021年07月, Fujii, M., and K. Asai, 原著, 研究論文（国際会議プロシーディングス）, 共著者

9. A Functional Abstraction of Typed Trails

   ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, , 2021年01月, ASAI Kenichi, CONG Youyou, ISHIO Chiaki, 原著, 研究論文（国際会議プロシーディングス）, 共著者

10. Extracting a Call-by-Name Partial Evaluator from a Proof of Termination

    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, (頁61 - 67), 2019年01月, ASAI Kenichi, 原著, 研究論文（国際会議プロシーディングス）, 単著

11. Certifying CPS Transformation of Let-polymorphic Calculus Using PHOAS

    16th Asian Symposium on Programming Languages and Systems (APLAS 2018), (頁375 - 393), 2018年12月, Yamada, U., and K. Asai, 原著, 研究論文（国際会議プロシーディングス）, 共著者

12. Handling Delimited Continuations with Dependent Types

    Proceedings of the ACM on Programming Languages, , 2巻ICFP号(頁1 - 31), 2018年09月, Cong, Y., and K. Asai, 原著, 研究論文（国際会議プロシーディングス）, 共著者

13. Selective CPS Transformation for Shift and Reset

    ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, (頁40 - 52), 2018年01月, ASAI Kenichi, UEHARA Chihiro, 原著, 研究論文（国際会議プロシーディングス）, 第一著者相当

14. Report on a User Test and Extension of a Type Debugger for Novice Programmers

    Electronic Proceedings in Theoretical Computer Science, , 170巻(頁1 - 18), 2014年12月, Ishii, Y., and K. Asai, 原著, 研究論文（学術雑誌）, 共著者

15. 重み付き型エラースライスの提案

    コンピュータソフトウェア, , 31巻4号(頁131 - 148), 2014年11月, 対馬 かなえ、浅井 健一, 原著, 研究論文（学術雑誌）, 共著者

16. Formalizing a Correctness Property of a Type-Directed Partial Evaluator

    Programming Languages meets Program Verification (PLPV), (頁41 - 46), 2014年01月, Hirota, N., and K. Asai, 原著, 研究論文（国際会議プロシーディングス）, 共著者

17. 限定継続命令 shift/reset 付き型主導部分評価器の抽出

    情報処理学会論文誌 プログラミング (PRO), , 6巻4号(頁50 - 64), 2013年12月, 廣田 知子、浅井 健一, 原著, 研究論文（学術雑誌）, 共著者

18. shift/reset 付き TDPE の抽出

    第１５回プログラミングおよびプログラミング言語ワークショップ, , 2013年03月, 廣田 知子、浅井 健一, 原著, 研究論文（学術雑誌）, 共著者

19. shift/reset によるモナドトランスフォーマの提案と実装

    第１５回プログラミングおよびプログラミング言語ワークショップ, , 2013年03月, 金子 ちひろ、浅井 健一, 原著, 研究論文（学術雑誌）, 共著者

20. コンパイラの型推論を利用した型スライス作成手法の提案

    第１５回プログラミングおよびプログラミング言語ワークショップ, , 2013年03月, 対馬 かなえ、浅井 健一, 原著, 研究論文（学術雑誌）, 共著者