Category: effects
Master’s theses defense by Ogushi, Niimi, Chenxin and Luthfan
Our members presented their master’s theses.
- Tomoki Ogushi, ライブデータ構造プログラミングの大規模データ利用のための改善 (PDF)
- Kazuki Niimi, Extending Effekt with Bidirectional Effects (PDF)
- Jizhe Chenxin, Nested Object Support in an Object-Oriented Domain-Specific Language for GPGPU (PDF)
- Lubis Luthfan Anshar, BatakJava: an Object-Oriented Programming Language with Versions (PDF)
Paper on Typing Control Operators at PEPM ’21
The following short paper will be presented at The Workshop on Partial Evaluation and Program Manipulation.
- Kenichi Asai, Youyou Cong, and Chiaki Ishio
A Functional Abstraction of Typed Trails
← Previous page