175 followers
Exceptional type theoryなるものがあるのか https://t.co/Ovp1q0E0yA
Exceptional type theoryなるものがあるのか https://t.co/Ovp1q0E0yA
@principle_k I have seen these come up at least twice in papers (not necessarily with that name). The partial stream example given here is one of them https://t.co/jeJwTwGRIf. The other one I remember is https://t.co/WwiqShpLBI.
@pipichih 我錯了,ESOP 18 有一篇就是用 OCaml 的哈哈 https://t.co/3cWSlQMicB
これでワンチャン分かるかも https://t.co/5YCeOVricy