Indexed Co-inductive Data Type Based on Fibrations Theory in Programming
MIAO Decheng, XI Jianqing, DAI Jingguo
Journal of Frontiers of Computer Science and Technology . 2016, (10): 1482 -1492 .  DOI: 10.3778/j.issn.1673-9418.1508047

京ICP备13024263号-1
Copyright © Journal of Frontiers of Computer Science and Technology
Powered by Beijing Magtech Co., Ltd.
Total visitors:
Visitors of today:
Now online: