xmonad in Coq (experience report)
- 期刊名称ACM SIGPLAN Notices
- 作者Swierstra, Wouter
- 卷第47卷
- 期第12期
- 印刷ISSN0362-1340
- 文件大小468.76KB
- 发表时间2013-01-17
- DOI10.1145/2430532.2364523
Collie eye anomaly in the rough collieDavid R. Sargan · 2001
The Aurignacians and Their Cultureby L. Collie; CollieThe Wisconsin Magazine of History · 1928
Collie eye anomaly in the rough collie in NorwayE. Bjerkås · 1991
THE DISPUTE BETWEEN MEDICAL MEN: BLOXHAM v. COLLIE, COLLIE v. BLOXHAMSavage, ThosJ. · 1894
Collie eye anomaly in the rough collie in Sweden: genetic transmission and influence on offspring vitalityB. Wallin-Håkanson; N. Wallin-Håkanson; Å. Hedhammar · 2000
DR. COLLIE AND THE ASYLUMS BOARD.Cariou, Bertrand · The Lancet · 1892
THE SUSPENSION OF DR. COLLIE1885
THE ASYLUMS BOARD AND DR. COLLIE1892
Guarded recursive datatype constructorsXi, Hongwei; Chen, Chiyan; Chen, Gang · ACM SIGPLAN Notices · 2003
The towers of HanoiEggers, Bleicke · ACM SIGPLAN Notices · 1985
ESPDas, Manuvir; Lerner, Sorin; Seigle, Mark · ACM SIGPLAN Notices · 2002
Are applicative languages inefficient?Ponder, Carl G.; McGeer, Patrick; Ng, Anthony P-C. · ACM SIGPLAN Notices · 1988
Paths between imperative and functional programmingBall, Thomas · ACM SIGPLAN Notices · 1999
Scalable component abstractionsOdersky, Martin; Zenger, Matthias · ACM SIGPLAN Notices · 2005
PinocchioVerwaest, Toon; Bruni, Camillo; Gurtner, David; Lienhard, Adrian; Niestrasz, Oscar · ACM SIGPLAN Notices · 2010
Regularities considered harmfulPark, Heekwon; Baek, Seungjae; Choi, Jongmoo; Lee, Donghee; Noh, Sam H. · ACM SIGPLAN Notices · 2013