Keyword

generic type

Description: In programming, a generic type is a data type parameterized by other types, allowing reusable code to operate on different data types.

Primary topic: Logic, programming, and type systems (33%)

Related topics: Logic, programming, and type systems (33%), Linguistic and Cultural Studies (23%)

Wikidata ID: wiki/Q20820008

OpenAlex ID: keywords/generic-type

Making the future safe for the past

1998 · Gilad Bracha, Martin Odersky, et al. · ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) · 501

Parameterized types for Java

1997 · Joseph A. Bank, Andrew C. Myers, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 250

2005 · Matthew S. Tschantz, Michael D. Ernst · ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) · 132

A kernel language for abstract data types and modules

1984 · R. Burstall, B. Lampson · Lecture notes in computer science · 100

Generic Universe Types

2007 · Werner Dietl, Sophia Drossopoulou, et al. · 94

Variance and Generalized Constraints for C $^{\sharp}$ Generics

2006 · Burak Emir, Andrew Kennedy, et al. · Lecture notes in computer science · 88

Comprehending conceptual anaphors

1991 · Morton Ann Gernsbacher · Language and Cognitive Processes · 81

Unifying Genericity: Combining the Benefits of Virtual Types and Parameterized Classes

1999 · Kresten Krab Thorup, Mads Torgersen · 64

Automatic synthesis and use of generic types in planning

2000 · Derek Long, Maria Fox · Strathprints: The University of Strathclyde institutional repository (University of Strathclyde) · 62

9. The Mammals of the Tenth Edition of Linnæeus; an Attempt to fix the Types of the Genera and the exact Bases and Localities of the Species.

1911 · Oldfield Thomas F.R.S. F.Z.S. · Proceedings of the Zoological Society of London · 60

A first-class approach to genericity

2003 · Eric Allen, Jonathan Bannet, et al. · 56

On Decidability of Nominal Subtyping with Variance

2006 · Andrew Kennedy, Benjamin C. Pierce · ScholarlyCommons (University of Pennsylvania) · 55

How One Becomes What One Is Called: On the Relation between Traits and Trait-Terms in Nietzsche

2015 · Mark Alfano · The Journal of Nietzsche Studies · 47

Generic Universe Types

2007 · Werner Dietl, Sophia Drossopoulou, et al. · Lecture notes in computer science · 47

True Modules for Java-like Languages

2001 · Davide Ancona, Elena Zucca · Lecture notes in computer science · 45

Making the future safe for the past

1998 · Gilad Bracha, Martin Odersky, et al. · ACM SIGPLAN Notices · 42

Topological dynamics of definable group actions

2009 · Ludomir Newelski · Journal of Symbolic Logic · 40

Typed parametric polymorphism for aspects

2006 · Radha Jagadeesan, Alan Jeffrey, et al. · Science of Computer Programming · 38

Irreducible Lie–Yamaguti algebras

2008 · Pilar Benito, Alberto Elduque, et al. · Journal of Pure and Applied Algebra · 37

Definability and definable groups in simple theories

1998 · Anand Pillay · Journal of Symbolic Logic · 37

Supersimple fields and division rings

1998 · A. Pillay, T. Scanlon, et al. · Mathematical Research Letters · 37

A List of the Type Species of the Genera and Subgenera of Formicidæ

1912 · William Morton Wheeler · Annals of the New York Academy of Sciences · 35

Comprehending conceptual anaphors in Spanish

1992 · Manuel Carreiras, Morton Ann Gernsbacher · Language and Cognitive Processes · 34

Pebble, a kernel language for modules and abstract data types

1988 · B. Lampson, R. Burstall · Information and Computation · 32

The Determination of Generic Types: And a List of Roundworm Genera, with Their Original and Type Species

2010 · Charles Wardell, Albert Hassall, et al. · 31

Works count: 784

Citation count: 3,445