Disambiguation evidence for Types and Programming Languages (research contributions) via surface form
"Types and Programming Languages (research contributions)"
Triples (1)
Triples where some other subject referred to this entity
as "Types and Programming Languages (research contributions)".
Tobias Nipkow
→
notableWork
→
"Types and Programming Languages (research contributions)"
ⓘ
↳ resolves to Types and Programming Languages (research contributions)