Discover open access scientific publications

Search, annotate, share and cite publications

Publications by David Greenfieldboyce

Type Qualifier Inference for Java

2007English

Related publications

Qualifier

2003English

Invariant and Type Inference for Matrices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Polymorphic Type Inference for Machine Code

ACM SIGPLAN Notices
Computer Science
2016English

Polymorphic Type Inference for the JNI

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Memory Leaks Detection in Java by Bi-Abductive Inference

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Type Inference for a Distributed Π-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Type Inference and Type Checking for Queries on Execution Traces

Proceedings of the VLDB Endowment
Computer Science
2008English

Ambivalent Types for Principal Type Inference With GADTs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Runtime Support for Type-Safe Dynamic Java Classes

2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy