Nominal Typing is a type system mechanism in which type equivalence and compatibility are determined by explicit declarations and type names, rather than by structural similarity of types.
17
Publications
550
Citations
34
Authors
18
Institutions
Publications per year
2017–2026
3
Parents
Publications
17
Split ergativity based on nominal type
Julie Anne Legate · Lingua · 2014 · 185 citations
Mikołaj Bojańczyk, Laurent Braud, Bartek Klin et al. · ACM SIGPLAN Notices · 2012 · 40 citations
Mikołaj Bojańczyk, Laurent Braud, Bartek Klin et al. · 2012 · 29 citations
1–5 of 17
Authors
34
- MB
2
h-index
- AM
2
h-index
- JC
2
h-index
- LB
2
h-index
- BK
2
h-index
1–5 of 34
Institutions
18
Victoria University of Wellington
Wellington, New Zealand
2 h-index
4 publications
71 citations
University of Warsaw
Warsaw, Poland
2 h-index
8 publications
276 citations
Heriot-Watt University
Edinburgh, United Kingdom
2 h-index
4 publications
116 citations
University of Cambridge
Cambridge, United Kingdom
2 h-index
3 publications
60 citations
University of Edinburgh
Edinburgh, United Kingdom
2 h-index
2 publications
33 citations
École Polytechnique
Palaiseau, France
1 h-index
3 publications
66 citations
University of Pennsylvania
Philadelphia, United States
1 h-index
1 publications
185 citations
Imperial College London
London, United Kingdom
1 h-index
1 publications
17 citations
1–8 of 18
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 37 citations
2
h-index
- DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Repository · 1 publications · 18 citations
1
h-index
- ACM Transactions on Computational Logic
TOCL · 1 publications · 14 citations
1
h-index
- Lingua
1 publications · 185 citations
1
h-index
- International Journal of English Studies
1 publications · 25 citations
1
h-index
1–5