Matches in DBpedia 2015-10 for { <https://www.fstar-lang.org/papers/mumon/> ?p ?o }
Showing triples 1 to 26 of
26
with 100 triples per page.
- mumon first1 "Nikhil".
- mumon first10 "Markulf".
- mumon first11 "Jean-Karim".
- mumon first2 "Cătălin".
- mumon first3 "Chantal".
- mumon first4 "Aseem".
- mumon first5 "Antoine".
- mumon first6 "Simon".
- mumon first7 "Karthikeyan".
- mumon first8 "Cédric".
- mumon first9 "Pierre-Yves".
- mumon isCitedBy F*_(programming_language).
- mumon last1 "Swamy".
- mumon last10 "Kohlweiss".
- mumon last11 "Zinzindohoue".
- mumon last2 "Hriţcu".
- mumon last3 "Keller".
- mumon last4 "Rastogi".
- mumon last5 "Delignat-Lavaud".
- mumon last6 "Forest".
- mumon last7 "Bhargavan".
- mumon last8 "Fournet".
- mumon last9 "Strub".
- mumon title "Dependent Types and Multi-Monadic Effects in F*".
- mumon url mumon.
- mumon year "2015".