Coercive subtyping in lambda-free logical frameworks
Paper i proceeding, 2009
Type theory
Metatheory
Typecasting
Coercive subtyping
Lambda-free logical framework
Författare
Robin Adams
Chalmers, Data- och informationsteknik, Datavetenskap
Publicerad i
s. 30-39
978-1-60558-529-1 (ISBN)
Konferens
Montreal, Canada, 2009-08-01 - 2009-08-01
Kategorisering
Ämneskategorier (SSIF 2011)
Algebra och logik
Datavetenskap (datalogi)
Styrkeområden
Informations- och kommunikationsteknik
Fundament
Grundläggande vetenskaper
Identifikatorer
DOI
10.1145/1577824.1577830