Questions tagged «ocaml»

2
Coq中OCaml的形式语义
几年前,欧文斯(Owens)在HOL 中将 OCaml的很大子集(称为OCamllight)的语义形式化。最近,Kreitz,Hayden和Hickey在Nuprl中实现了OCaml较小子集的类型理论语义。 Coq是否有类似的发展?
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.