Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.
VLDB 2026 Research / reviewers in the wild / expert

Ian Lance Taylor

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

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

Software engineering, systems software and programming languages · 1

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 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems › type systems › polymorphism
generics		 0.412020
Featherweight go · Proc. ACM Program. Lang. 2020
Programming languages and type systems
language design		 0.412020
Featherweight go · Proc. ACM Program. Lang. 2020
Programming languages and type systems › language implementation
monomorphization		 0.412020
Featherweight go · Proc. ACM Program. Lang. 2020
Programming languages and type systems › type systems › subtyping
structural subtyping		 0.412020
Featherweight go · Proc. ACM Program. Lang. 2020
Programming languages and type systems
type systems		 0.412020
Featherweight go · Proc. ACM Program. Lang. 2020

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

formal semantics · 0.4
YearPublicationVenuePosition
2020 Featherweight go
abstract
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structural, and whereas generics in Java are defined via erasure, in Go we use monomorphisation. Although monomorphisation is widely used, we are one of the first to formalise it. Our design also supports a solution to The Expression Problem.
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
 Proc. ACM Program. Lang.5