研究会・全国大会等
[1] 高橋一斗, 大久保弘崇, 粕谷英人, 山本晋一郎, "Hoogleにおいて型クラスを候補として提示する関数検索手法," 第19回情報学ワークショップ, 2021年11月.
卒業論文
[1] 高橋一斗, 初学者のためのHaskellの数値型を対象とした自動型補完手法, 愛知県立大学, 2021年.