Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect

From CERES
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Tag Elimination - or - Type Specialisation is a Type-Indexed Effect
Author Walid Taha and Henning Makholm
Year 2000
PublicationType Conference Paper
Journal
HostPublication
DOI
Conference DTP'00. APPSEM Workshop on Subtyping & Dependent Types in Programming
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588295
Abstract