Ophthalmic Artery Occlusion After Carotid Revascularization
- 期刊名称Journal of Cerebrovascular and Endovascular Neurosurgery
- 作者Yi, Yeon Jin; Yun, Ji Kwang; Kim, Dae Won; Kang, Sung Don
- 卷第15卷
- 期第4期
- 印刷ISSN2234-8565
- 电子ISSN2287-3139
- 文件大小2703.35KB
- 发表时间2013
- DOI10.7461/jcen.2013.15.4.326
Pure type systems with judgemental equalityADAMS, ROBIN · Journal of Functional Programming · 2005
FUNCTIONAL PEARL Unfolding pointer algorithmsBIRD, RICHARD S. · Journal of Functional Programming · 2001
Red-black trees with typesKAHRS, STEFAN · Journal of Functional Programming · 2001
Functional programming for business studentsMolyneux, Phil · Journal of Functional Programming · 1993
Metamorphism in jigsawNAKANO, KEISUKE · Journal of Functional Programming · 2013
Data types à la carteSWIERSTRA, WOUTER · Journal of Functional Programming · 2008
Delimited control and computational effectsDOWNEN, PAUL; ARIOLA, ZENA M. · Journal of Functional Programming · 2014
The view from the leftMCBRIDE, CONOR; MCKINNA, JAMES · Journal of Functional Programming · 2004