|
Publication List - Hidehiko Masuhara 2021 (14 / 129 entries)
International Conference (Reviewed)
-
Kazuki Niimi,
Youyou Cong,
Hidehiko Masuhara,
Jonathan Immanuel Brachthäuser.
Contextual Polymorphism Meets Bidirectional Effects,
The 6th Workshop on Type-Driven Development (TyDe 2021),
Aug. 2021.
-
Junya Nose,
Youyou Cong,
Hidehiko Masuhara.
Design with Blocks, Code in Text: A Hybrid Environment for Program Design Recipe,
The Scheme and Functional Programming Workshop (Scheme '21),
Aug. 2021.
-
Yusuke Izawa,
Hidehiko Masuhara,
Carl Friedrich Bolz-Tereick,
Youyou Cong.
Threaded Code Generation with a Meta-tracing JIT Compiler,
16th Workshop on Implementation, Compilation, Optimization of Object- Oriented Languages, Programs and Systems,
July 2021.
-
Junya Nose,
Youyou Cong,
Hidehiko Masuhara.
Toward Automated Feedback in HtDP-based Programming: A DSL-based Approach,
10th International Workshop on Trends in Functional Programming in Education (TFPIE 2021),
Feb. 2021.
Domestic Conference (Not reviewed / Unknown)
-
Fumi Takeuchi,
Hidehiko Masuhara,
Raffi Khatchadourian,
Youyou Cong.
Towards an Automated Code Rewriting Tool for Alleviating Concurrency Problems in the Go Programming Language,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
Kazuhiro Tsunoda,
Hidehiko Masuhara,
Youyou Cong.
エラーを起こさせる初学者向けプログラミングドリルの提案,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
Syoki Tsuyama,
Youyou Cong,
Hidehiko Masuhara.
型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
Kohei Arai,
Hidehiko Masuhara,
Youyou Cong.
WebAssemblyを対象にしたSchemeコンパイラの作成に向けて,
日本ソフトウェア科学会第38回大会,
Sept. 2021.
-
高橋 修祐,
Yusuke Izawa,
Hidehiko Masuhara,
Youyou Cong.
汎言語的ライブプログラミング環境のためのデータ構造解析手法,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
Junya Nose,
Youyou Cong,
Hidehiko Masuhara.
デザインレシピに基づいたプログラミングための開発環境の構築に向けて,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
Kazuki Niimi,
Youyou Cong,
Hidehiko Masuhara.
Effekt言語の双方向エフェクトによる拡張,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
Yusuke Izawa,
Hidehiko Masuhara,
Youyou Cong.
An Interpreter Design for Supporting Different JIT Compilations in RPython Framework,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
Naoya Furudono,
Youyou Cong,
Hidehiko Masuhara.
Koka言語に対するエフェクト割り当て最適化,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
-
Kaduki Ikemori,
Youyou Cong,
Hidehiko Masuhara.
代数的エフェクトを特徴に持つ計算体系へのエフェクト強制の導入と健全性の証明,
第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021),
Mar. 2021.
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|