7,758 followers
@nekketsuuu OCamlについては S. Owens, G. Peskine, and P. Sewell. A formal specification for OCaml: the core language. 2008. という文献があって数年前に読んだんですが,今調べてもヒットしないようです.これの第一著者による類似の論文は一応見つかりました: https://t.co/WexzaUQUHa
@nekketsuuu OCamlについては S. Owens, G. Peskine, and P. Sewell. A formal specification for OCaml: the core language. 2008. という文献があって数年前に読んだんですが,今調べてもヒットしないようです.これの第一著者による類似の論文は一応見つかりました: https://t.co/WexzaUQUHa