@article{weko_184908_1,
   author	 = "Akira,Tanaka and Reynald,Affeldt and Jacques,Garrigue",
   title	 = "Safe Low-level Code Generation in Coq Using Monomorphization and Monadification",
   journal	 = "情報処理学会論文誌プログラミング（PRO）",
   year 	 = "2017",
   volume	 = "10",
   number	 = "6",
   month	 = "dec"
}