Work

Type Inference for Polymorphic Methods in Java-like Languages

Year: 2007

Type: conference-paper

Source: Theoretical Computer Science

DOI: 10.1142/9789812770998_0014

Authors: D. ANCONA, G. LAGORIO, E. ZUCCA

Institution: University of Genoa

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2006963757

FWCI: 0.848

Cites: 16

Cited by: 9

Related to: 10