Coqã‹ã‚‰ã®Cプãƒã‚°ãƒ©ãƒ ç”Ÿæˆ ç”°ä¸ å“² 産æ¥æŠ€è¡“ç·åˆç ”究所 æƒ…å ±æŠ€è¡“ç ”ç©¶éƒ¨é–€ 2017-07-23 Proof Summit 2017Coqã‹ã‚‰ã®Cプãƒã‚°ãƒ©ãƒ ç”Ÿæˆ ç”°ä¸ å“² 産æ¥æŠ€è¡“ç·åˆç ”究所 æƒ…å ±æŠ€è¡“ç ”ç©¶éƒ¨é–€ 2017-07-23 Proof Summit 2017 2/48 å…ƒãƒã‚¿ ◠既発表ã®è©±ã§ã™ â— ãã®ã†ã¡è«–æ–‡ãŒå‡ºã¾ã™ â— Safe Low-level Code Generation in Coq using Monomorphization and Monadification Akira Tanaka, Reynald Affeldt, Jacques Garrigue IPSJ SIGPRO 114, 2017-06-09, will be appear at IPSJ JIP. â— ã“ã“ã§å‡ºã¦ãã‚‹ plugin 㯠github ã«ã‚ã‚Šã¾ã™ – https://github.com/akr/monomorphization – https://github.com/akr/monadification
{{#tags}}- {{label}}
{{/tags}}