Structural Typing is a type compatibility method in programming language theory that determines equivalence based on the structure and composition of types rather than their explicit declarations or names.
38
Publications
1.3K
Citations
87
Authors
44
Institutions
Publications per year
2017–2026
2
Parents
Publications
38
Niklaus Wirth · ACM Transactions on Programming Languages and Systems · 1988 · 99 citations · Full text
A semantic model of types for applicative languages
David MacQueen, Ravi Sethi · 1982 · 64 citations
1–5 of 38
Authors
87
- DL
2
h-index
- JG
2
h-index
- JN
2
h-index
- KP
1
h-index
- XL
1
h-index
1–5 of 87
Institutions
44
Victoria University of Wellington
Wellington, New Zealand
3 h-index
6 publications
93 citations
Carnegie Mellon University
Pittsburgh, United States
3 h-index
4 publications
229 citations
Cornell University
Ithaca, United States
3 h-index
4 publications
225 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
3 h-index
5 publications
177 citations
Imperial College London
London, United Kingdom
2 h-index
2 publications
34 citations
Royal Holloway University of London
Egham, United Kingdom
2 h-index
3 publications
41 citations
Aarhus University
Aarhus, Denmark
2 h-index
2 publications
55 citations
Kyoto University of Education
Kyoto, Japan
2 h-index
2 publications
57 citations
1–8 of 44
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 22 citations
2
h-index
- ACM Transactions on Programming Languages and Systems
2 publications · 134 citations
2
h-index
- DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Repository · 1 publications · 18 citations
1
h-index
- Theoretical Computer Science
1 publications · 50 citations
1
h-index
- Journal of the ACM
JACM · 1 publications · 159 citations
1
h-index
1–5