査読有り 2016年 Gradual typing for delimited continuations The 5th Script To Program Evolution Workshop 記述言語 英語 掲載種別 研究論文（国際会議プロシーディングス） エクスポート BibTeX RIS
