Department of Information Science, Ochanomizu University;
Department of Computer Science, University of Tsukuba;
type system; delimited continuation; control operator; CPS translation; predicative/impredicative polymorphism;
机译:通过类型定向的选择性CPS变换实现一流的多态定界连续
机译:动态定界连续的动态连续传递样式
机译:定序的定界延续
机译:通过类型定向的选择性CPS转换实现一流的多态定界延续
机译:微生物分类群和植物中的应用物种划界
机译:系统记录和基于DNA的物种划分为洞察西部古北洋中的多态玫瑰金龟子Protaetia(Potosia)cuprea物种群(鞘翅目:Scarabaeidae:Cetoniinae)的分类学提供了见识
机译:多态定界连续