@techreport{oai:ipsj.ixsq.nii.ac.jp:00232936,
 author = {山田, 桃香 and 大久保, 弘崇 and 粕谷, 英人 and 山本, 晋一郎},
 issue = {14},
 month = {Feb},
 note = {我々は 2016 年に Haskell サブセット言語を対象とする処理系を発表した．この処理系は Haskell 初学者の学習支援システムの基盤となること，言語処理系の内部に手を加えるような実験を行いやすい基盤となることを目的としている．また，Haskell 初学者が手軽に Haskell プログラミングを試すことができるように，Web ブラウザ上で動作する TypeScript で実装されている．この処理系は実用化に向けて，いくつか構成要素を欠いている．その中でも，本研究では Haskell の特徴である型推論系が未実装であることに注目をして，型推論系を実装した．},
 title = {関数型プログラミング言語に対する初学者に寄り添う型推論系},
 year = {2024}
}