2026年7月2日
ブリュッセルにて2026年6月29日から7月3日にかけて開催されたECOOP 2026での発表に使用したスライドです．
論文は以下で公開されています：
dagstuhl.de
また，この理論に基づく実装を以下のリポジトリで公開しています：
HorseaHaskell7