출판 A Type Directed Translation from MLF to System F Daan Leijen Proceedings of the ACM International Conference on Functional Programming (ICFP’07) | October 2007 Proceedings of the ACM International Conference on Functional Programming (ICFP'07)
출판 Establishing Object Invariants with Delayed Types Manuel Fahndrich, Songtao Xia Proceedings of the 22nd ACM Conference on Object-Oriented Programming, Systems, and Applications | October 2007 Proceedings of the 22nd ACM Conference on Object-Oriented Programming, Systems, and Applications
출판 Faster laziness using dynamic pointer tagging Simon Peyton Jones ICFP ’07: Proceedings of the ACM SIGPLAN international conference on Functional programming | October 2007 ICFP '07: Proceedings of the ACM SIGPLAN international conference on Functional programming
출판 AjaxScope: A Platform for Remotely Monitoring the Client-side Behavior of Web 2.0 Applications Emre Kiciman, Ben Livshits The 21st ACM Symposium on Operating Systems Principles (SOSP’07) | October 2007 프로젝트
출판 Living it up with a Live Programming Language Sean McDirmid OOPSLA Onward! | October 2007 OOPSLA Onward! The "live" version of this paper is best viewed in Acrobat Reader with Quicktime installed. 프로젝트
출판 Samurai – Protecting Critical Data in Unsafe Languages Karthik Pattabiraman, Vinod Grover, Ben Zorn MSR-TR-2006-127 | October 2007
출판 Compiling with Continuations, Continued Andrew Kennedy ACM SIGPLAN International Conference on Functional Programming | October 2007 ACM SIGPLAN International Conference on Functional Programming
출판 Checking the Hardware-Software Interface in Spec# Kevin Bierhoff, Chris Hawblitzel PLOS 07: 4th workshop on Programming languages and operating systems | October 2007 PLOS 07: 4th workshop on Programming languages and operating systems
출판 Codifier: A Programmer-Centric Search User Interface Andrew Begel First Workshop on Human-Computer Interaction and Information Retrieval | October 2007 First Workshop on Human-Computer Interaction and Information Retrieval
출판 Locally Invariant Fractal Features for Statistical Texture Classification Manik Varma, Rahul Garg Proceedings of the IEEE International Conference on Computer Vision, Rio de Janeiro, Brazil | October 2007