Запитання з тегом «ocaml»

2
Формальна семантика OCaml в Coq
Семантика великої підмножини OCaml, що називається OCamllight , була формалізована в HOL Оуенсом кілька років тому. Зовсім недавно в Нупрлі були здійснені Крейц, Хайден та Хікі, теоретична семантика типу меншого підмножини OCaml . Чи є подібний розвиток у Coq?
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.