Browse wiki

From CERES
Jump to: navigation, search
Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect
Author Walid Taha + , Henning Makholm +
Conference DTP'00. APPSEM Workshop on Subtyping & Dependent Types in Programming
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588295
PublicationType Conference Paper  +
Title Tag Elimination - or - Type Specialisation is a Type-Indexed Effect  +
Year 2000  +
Has queryThis property is a special property in this wiki. Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect + , Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect + , Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect + , Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect + , Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect + , Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect + , Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect + , Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect + , Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect + , Publications:Tag Elimination - or - Type Specialisation is a Type-Indexed Effect +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:45:11  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Retrieved from "https://wiki.hh.se/ceres/index.php/Special:Browse/Publications:Tag_Elimination_-2D_or_-2D_Type_Specialisation_is_a_Type-2DIndexed_Effect"