We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Global Type Inference for Featherweight Generic Java

Abstract: Java's type system mostly relies on type checking augmented with local type inference to improve programmer convenience. We study global type inference for Featherweight Generic Java (FGJ), a functional Java core language. Given generic class headers and field specifications, our inference algorithm infers all method types if classes do not make use of polymorphic recursion. The algorithm is constraint-based and improves on prior work in several respects. Despite the restricted setting, global type inference for FGJ is NP-complete.
Comments: 33 pages, abridged version appears in ECOOP 2022
Subjects: Programming Languages (cs.PL)
MSC classes: 68N15
ACM classes: D.3.1; F.3.3
Cite as: arXiv:2205.08768 [cs.PL]
  (or arXiv:2205.08768v2 [cs.PL] for this version)

Submission history

From: Peter Thiemann [view email]
[v1] Wed, 18 May 2022 07:31:59 GMT (263kb,D)
[v2] Thu, 19 May 2022 15:25:25 GMT (263kb,D)

Link back to: arXiv, form interface, contact.