Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
IMAI K.,Session type inference in haskell,"Postproceedings of Thrid Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2010), March",,,2010,,,,https://cir.nii.ac.jp/crid/1570572701421185152,