Public Professor Archive
福井県立大学 · 情報センター · 助教
研究キーワード型システム・圏論・エフェクトハンドラ・余代数・プログラミング言語理論・プログラム意味論・代数的エフェクト・システム検証
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。
個別の適合理由、連絡角度、保存機能はログイン後に利用できます。
