2
Coq में OCaml का औपचारिक शब्दार्थ
OCamlight के एक बड़े उपसमूह के शब्दार्थ, जिसे OCamllight कहा जाता है , को कई साल पहले ओवेन्स द्वारा HOL में औपचारिक रूप दिया गया था। अभी हाल ही में, KCamitz, हेडन और हिक्की द्वारा नुपले में OCaml के एक छोटे उपसमुच्चय के एक प्रकार के सैद्धांतिक शब्दार्थ को लागू …