Date: 2014-01-18 03:32:54Software engineering Computer science Computing Boomerang Functional programming Symposium on Principles of Programming Languages International Conference on Functional Programming Benjamin C. Pierce SIGPLAN Coq French Institute for Research in Computer Science and Automation Research Institute of Computer Science and Random Systems | | Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France)Add to Reading ListSource URL: alan.petitepomme.netDownload Document from Source Website File Size: 73,62 KBShare Document on Facebook
|