|
増原英彦 研究業績一覧 (5件 / 132件)
国際会議発表 (査読有り)
国際会議発表 (査読なし・不明)
-
Youyou Cong,
Hironori Kawazoe,
Hidehiko Masuhara.
A Mostly CPS, Partly ANF Translation of Dependent Types,
The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024),
Aug. 2024.
-
Jessica Belicia Cahyono,
Youyou Cong,
Hidehiko Masuhara.
Daisy: A Block-Based Environment for Learning Data Modeling,
The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024),
Aug. 2024.
-
Akane Taniguchi,
Youyou Cong,
Hidehiko Masuhara.
Formalizing an Object-Oriented Programming Language with Delimited Control,
The 36th Symposium on Implementation and Application of Functional Languages (IFL 2024),
Aug. 2024.
国内会議発表 (査読なし・不明)
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|