Data Types

Data Types is a fundamental category in Hardware Description Languages that classifies the symbolic representations and associated operations defining the kind, size, and behavior of data objects within a hardware model.

2.7K

Publications

151.9K

Citations

3.7K

Authors

936

Institutions

Publications per year

2017–2026

226

Parents

Hardware Description Languages

Children

Abstract Data TypesAccess TypesArray TypesBit VectorsBoolean TypesCharacter TypesDerived TypesEnumerated TypesFixed-point TypesFloating-point Types

Publications

2.7K

ChIP-seq guidelines and practices of the ENCODE and modENCODE consortia

Stephen G. Landt, Georgi K. Marinov, Anshul Kundaje et al. · Genome Research · 2012 · 2.2K citations · Full text

Life Sciences, Bioinformatics, Biomedical Informatics +2

A theory of type polymorphism in programming

Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text

Computing, Computer Science, Programming Languages +11

A behavioral notion of subtyping

Barbara Liskov, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

Computing, Computer Science, Formal Methods +14

Points-to analysis in almost linear time

Bjarne Steensgaard · 1996 · 1.1K citations · Full text

Computing, Computer Science, Algorithms +16

Featherweight Java

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler · ACM Transactions on Programming Languages and Systems · 2001 · 1K citations · Full text

Computing, Computer Science, Formal Methods +16

1–5 of 2.7K

Authors

3.7K

SP
Simon Peyton Jones
Microsoft Research (United Kingdom), United Kingdom
54 publications · 3.9K citations
30
h-index
SW
Stephanie Weirich
University of Pennsylvania, United States
38 publications · 2K citations
25
h-index
BC
Benjamin C. Pierce
University of Pennsylvania, United States
26 publications · 3.1K citations
21
h-index
RH
Robert Harper
Carnegie Mellon University, United States
29 publications · 1.9K citations
21
h-index
JP
Jens Palsberg
University of California, Los Angeles, United States
29 publications · 1.2K citations
19
h-index

1–5 of 3.7K

Institutions

936

1–8 of 936

Venues

ACM SIGPLAN Notices
180 publications · 6.1K citations
40
h-index
Journal of Functional Programming
95 publications · 5.4K citations
37
h-index
ACM Transactions on Programming Languages and Systems
63 publications · 7.1K citations
36
h-index
Theoretical Computer Science
48 publications · 2.7K citations
26
h-index
Proceedings of the ACM on Programming Languages
PACMPL · 49 publications · 1.5K citations
26
h-index

1–5