Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Greenfieldboyce
Type Qualifier Inference for Java
Related publications
Qualifier
Invariant and Type Inference for Matrices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Polymorphic Type Inference for Machine Code
ACM SIGPLAN Notices
Computer Science
Polymorphic Type Inference for the JNI
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Memory Leaks Detection in Java by Bi-Abductive Inference
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Inference for a Distributed Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Inference and Type Checking for Queries on Execution Traces
Proceedings of the VLDB Endowment
Computer Science
Ambivalent Types for Principal Type Inference With GADTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Support for Type-Safe Dynamic Java Classes