Runtime Type Checking is a type verification mechanism that occurs during program execution, distinguishing itself from compile-time checking by dynamically validating the types of variables and expressions as they are used in an interpreting environment.
141
Publications
8.8K
Citations
309
Authors
111
Institutions
Publications per year
2017–2026
22
Parents
Publications
141
George C. Necula, Scott McPeak, Westley Weimer · ACM SIGPLAN Notices · 2012 · 511 citations
George C. Necula, Scott McPeak, Westley Weimer · 2002 · 371 citations
Compiling polymorphism using intensional type analysis
Robert Harper, Greg Morrisett · 1995 · 298 citations · Full text
1–5 of 141
Authors
309
- WW
6
h-index
- GC
6
h-index
- SM
6
h-index
- BG
5
h-index
- MF
5
h-index
1–5 of 309
Institutions
111
Microsoft (United States)
Redmond, United States
10 h-index
20 publications
1.9K citations
University of California, Berkeley
Berkeley, United States
10 h-index
36 publications
7.3K citations
Northeastern University
Boston, United States
7 h-index
17 publications
362 citations
University of Chile
Santiago, Chile
6 h-index
8 publications
261 citations
Carnegie Mellon University
Pittsburgh, United States
5 h-index
9 publications
1.1K citations
University of Maryland, College Park
College Park, United States
5 h-index
15 publications
926 citations
Microsoft Research (United Kingdom)
Cambridge, United Kingdom
5 h-index
8 publications
623 citations
Cornell University
Ithaca, United States
5 h-index
10 publications
711 citations
1–8 of 111
Venues
- ACM SIGPLAN Notices
13 publications · 971 citations
13
h-index
- Proceedings of the ACM on Programming Languages
PACMPL · 6 publications · 148 citations
6
h-index
- ACM Transactions on Programming Languages and Systems
4 publications · 478 citations
4
h-index
- IEEE Transactions on Software Engineering
TSE · 4 publications · 671 citations
4
h-index
- Journal of Functional Programming
4 publications · 166 citations
4
h-index
1–5