ocaml पर टैग किए गए जवाब

2
Coq में OCaml का औपचारिक शब्दार्थ
OCamlight के एक बड़े उपसमूह के शब्दार्थ, जिसे OCamllight कहा जाता है , को कई साल पहले ओवेन्स द्वारा HOL में औपचारिक रूप दिया गया था। अभी हाल ही में, KCamitz, हेडन और हिक्की द्वारा नुपले में OCaml के एक छोटे उपसमुच्चय के एक प्रकार के सैद्धांतिक शब्दार्थ को लागू …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.