Public Professor Archive
お茶の水女子大学 · 理学部 情報科学科 · 教授
お茶の水女子大学 · 理学部 情報科学科 · 教授
研究キーワードalgebraic effects・effect handlers・delimited control・type systems・functional programming・metacontinuations・program semantics・control operators
研究分野情報学・ソフトウェア・ソフトウエア・情報学基礎・情報科学・総合・新領域系・総合系・総合領域
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。