January 2012 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sun Jan 1 19:28:47 PST 2012
Ending: Mon Jan 30 14:53:17 PST 2012
Messages: 4

• [bitc-dev] Deca: a safe systems programming language   Sandro Magi
• [bitc-dev] Deca: a safe systems programming language   Ben Kloosterman
• [bitc-dev] Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations   Sandro Magi
• [bitc-dev] Vellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations   Kristopher Micinski

Last message date: Mon Jan 30 14:53:17 PST 2012
Archived on: Mon Jan 30 20:33:07 PST 2012

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...