Type Parameterization is a formal method in programming language theory that enables the definition of generic types by abstracting over type arguments, thereby allowing a single type constructor to uniformly represent families of types parameterized by specified type variables.
54
Publications
3K
Citations
101
Authors
46
Institutions
Publications per year
2017–2026
3
Parents
Publications
54
Making the future safe for the past
Gilad Bracha, Martin Odersky, David Stoutamire et al. · 1998 · 503 citations · Full text
Douglas Gregor, Jaakko Järvi, Jeremy G. Siek et al. · 2006 · 194 citations
Adding type parameterization to the Java language
Ole Agesen, Stephen N. Freund, John C. Mitchell · 1997 · 161 citations
1–5 of 54
Authors
101
- JG
4
h-index
- AL
4
h-index
- JJ
4
h-index
- BS
3
h-index
- RC
3
h-index
1–5 of 101
Institutions
46
Rice University
Houston, United States
6 h-index
7 publications
452 citations
Massachusetts Institute of Technology
Cambridge, United States
4 h-index
13 publications
851 citations
Centrum Wiskunde & Informatica
Amsterdam, The Netherlands
3 h-index
3 publications
54 citations
Indiana University
Bloomington, United States
3 h-index
8 publications
494 citations
University of Edinburgh
Edinburgh, United Kingdom
3 h-index
3 publications
197 citations
University of South Australia
Adelaide, Australia
2 h-index
2 publications
545 citations
University of Oxford
Oxford, United Kingdom
2 h-index
3 publications
121 citations
Rogers (United States)
Windham, United States
2 h-index
2 publications
94 citations
1–8 of 46
Venues
- ACM SIGPLAN Notices
5 publications · 108 citations
5
h-index
- Journal of Functional Programming
4 publications · 220 citations
4
h-index
- ACM Transactions on Programming Languages and Systems
3 publications · 215 citations
3
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 85 citations
2
h-index
- Information and Computation
2 publications · 93 citations
2
h-index
1–5