[ACM Press the 7th ACM International Conference - Seattle, WA, USA (2016.10.02-2016.10.05)] Proceedings of the 7th ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics - BCB '16 - HAPI-Gen
- 作者Choudhury, Olivia; Chakrabarty, Ankush; Emrich, Scott J.
- 文件大小522.68KB
- 发表时间2016
- DOI10.1145/2975167.2975175
- 页码78-87
Modular monadic meta-theoryDelaware, Benjamin; Keuchel, Steven; Schrijvers, Tom; Oliveira, Bruno C.d.S. · ACM SIGPLAN Notices · 2013
[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Monads, zippers and viewsSchrijvers, Tom; Oliveira, Bruno C.d.S. · 2011
[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Modular monadic meta-theoryDelaware, Benjamin; Keuchel, Steven; Schrijvers, Tom; Oliveira, Bruno C.d.S. · 2013
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