Abstracting abstract machines

David Van Horn, Matthew Might. Abstracting abstract machines. In Paul Hudak, Stephanie Weirich, editors, Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. pages 51-62, ACM, 2010. [doi]

Authors

David Van Horn

This author has not been identified. Look up 'David Van Horn' in Google

Matthew Might

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