Adventures in Corneal Avascularity
- 期刊名称Cornea
- 作者Ambati, Balamurali K.
- 卷第34卷
- 印刷ISSN0277-3740
- 文件大小51.76KB
- 发表时间2015-11
- DOI10.1097/ico.0000000000000581
Compiling Join-PatternsFabrice Le Fessant; Luc Maranget · 1998
Warnings for pattern matchingMARANGET, LUC · Journal of Functional Programming · 2007
Herding CatsAlglave, Jade; Maranget, Luc; Tautschnig, Michael · ACM Transactions on Programming Languages and Systems · 2014
FUNCTIONAL PEARL Functional satisfactionMARANGET, LUC · Journal of Functional Programming · 2004
Compiling lazy pattern matchingMaranget, Luc · ACM SIGPLAN Lisp Pointers · 1992
Optimizing pattern matchingLe Fessant, Fabrice; Maranget, Luc · ACM SIGPLAN Notices · 2001
Understanding POWER multiprocessorsSarkar, Susmit; Sewell, Peter; Alglave, Jade; Maranget, Luc; Williams, Derek · ACM SIGPLAN Notices · 2011
Inheritance in the join calculusCédric Fournet; Cosimo Laneve; Luc Maranget; Didier Rémy · 2003