Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Furr
Polymorphic Type Inference for the JNI
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Polymorphic Type Inference for Machine Code
ACM SIGPLAN Notices
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
Type Qualifier Inference for Java
Invariant and Type Inference for Matrices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Inferencing for Polymorphic Order-Sorted Logic Programs
Type Inference for a Distributed Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Lazy Type Inference for the Strictness Analysis of Lists
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science