Logic-flow analysis of higher-order programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthew Might. Logic-flow analysis of higher-order programs. In Martin Hofmann, Matthias Felleisen, editors, Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007. pages 185-198, ACM, 2007. [doi]

This author has not been identified. Look up 'Matthew Might' in Google

runs on WebDSL