Category: intrinsically-typed-interpreters
PEPM 2024 Paper on Intrinsically-typed Compiler for Effect Handlers
A paper entitled “An Intrinsically Typed Compiler for Algebraic Effect Handlers”, authored by Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara, is accepted by PEPM2024(The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation) which is held in London, UK on January 2024.
Kawazoe, Saito and Tsuyama’s Talks on formalization at TPP 2023
Kawazoe, Saito and Tsuyama presented their ongoing studies that use theorem provers at The 19th Theorem Proving and Provers meeting. Interestingly, they all use different systems (Lean, Coq and Agda).
PPL 2023 Presentation on “Dependently-typed Compilers for Algebraic Effects and Handlers”
Syouki Tsuyama’s work on “Dependently-typed Compilers for Algebraic Effects and Handlers”, co-authored with Youyou Cong and Hidehiko Masuhara is accepted by and presented at the 25th JSSST Workshop on Programming and Programming Languages (PPL2023).
Saito, Tsunoda and Tsuyama Presented Bachelor’s Theses
Our members present their bachelor’s theses.
- Ayumu Saito, Formal Verification of Effectful Programs by Equational Reasoning
- Kazuhiro Tsunoda, プログラミングエラーメッセージの読解を促進する初学者向け演習形式の提案
- Syouki Tsuyama, 副作用を持つプログラミング言語を型安全に定義するためのライブラリの開発に向けて
Presentation on Intrinsically-typed Interpreters at WITS’22
The following presentation will be held at the first International Workshop on the Implementation of Type Systems (WITS’22), colocated with POPL22.
- Syouki Tsuyama, Youyou Cong, and Hidehiko Masuhara. Intrinsically-typed Interpreter for Effectful Languages (discussion)
Talk on a Scheme-to-WebAssembly Compiler at JSSST (Along with 3 Posters)
Arai presented his paper on a Scheme-to-WebAssembly compiler at the 38th JSSST Annual Conference.
Kouhei Arai, Hidehiko Masuhara, and Youyou Cong. Towards a Scheme-to-WebAssembly Compiler
Tsuyama, Tsunoda and Takeuchi presented their work at the poster session.
- Syoki Tsuyama, Youyou Cong and Hidehiko Masuhara. Towards a Library for Defining Intrinsically-Typed Interpreters(PDF)
- Kazuhiro Tsunoda, Hidehiko Masuhara and Youyou Cong. Error-Making Exercises for Novice Programmers: a Proposal(PDF)
- Fumi Takeuchi, Hidehiko Masuhara, Raffi Khatchadourian and Youyou Cong. Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language
