Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matt Noonan
Polymorphic Type Inference for Machine Code
ACM SIGPLAN Notices
Computer Science
Related publications
Polymorphic Type Inference for the JNI
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Polymorphic Type, Region and Effect Inference
Journal of Functional Programming
Software
Partial Polymorphic Type Inference and Higher-Order Unification
A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference
Proceedings of the ACM on Programming Languages
Directed Proof Generation for Machine Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Proof Theory for Machine Code
ACM Transactions on Programming Languages and Systems
Software
Type Qualifier Inference for Java
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Distributed Autonomic Inference Machine for Wireless Sensor Networks
