著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
C.-H. Luke Ong and Steven J. Ramsay,Verifying higher-order functional programs with pattern-matching algebraic data types,ACM SIGPLAN Notices,0362-1340,Association for Computing Machinery (ACM),2011-01-26,46,1,587-598,https://cir.nii.ac.jp/crid/1363107370932972800,https://doi.org/10.1145/1925844.1926453