著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
EDWIN BRADY,"Idris, a general-purpose dependently typed programming language: Design and implementation",Journal of Functional Programming,0956-7968,Cambridge University Press (CUP),2013-09,23,5,552-593,https://cir.nii.ac.jp/crid/1361418521246873984,https://doi.org/10.1017/s095679681300018x