VLDB 2026 Research / reviewers in the wild / expert

Lintaro Ina

dblp:62/10322 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 2011
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems › type systems › polymorphism
generics		 0.112011
Gradual typing for generics · OOPSLA 2011
Programming languages and type systems › type systems
gradual typing		 0.112011
Gradual typing for generics · OOPSLA 2011
Programming languages and type systems
type systems		 0.112011
Gradual typing for generics · OOPSLA 2011

Methods — techniques the papers use, named apart from their topics

gradual type system design · 0.1
YearPublicationVenuePosition
2011 Gradual typing for generics
abstract
Gradual typing is a framework to combine static and dynamic typing in a single programming language. In this paper, we develop a gradual type system for class-based object-oriented languages with generics. We introduce a special type to denote dynamically typed parts of a program; unlike dynamic types introduced to C# 4.0, however, our type system allows for more seamless integration of dynamically and statically typed code.
Lintaro Ina, Atsushi Igarashi
 OOPSLA1