Nov
25th
Thu
25th
Final version of the Singleton paper
Our paper Singleton: A General-Purpose Dependently-Typed Assembly Language will be presented at the ACM SIGPLAN Workshop on
Types in Language Design and Implementation (TLDI’11) co-located with POPL’11 in Austin, TX, in January. The final version of the paper is now available.
Types in Language Design and Implementation (TLDI’11) co-located with POPL’11 in Austin, TX, in January. The final version of the paper is now available.
