BibSonomy :: author  ::

bookmarks

publications

(38)

• Imperative LF Meta-Programming.
  Aaron Stump Electr. Notes Theor. Comput. Sci. 199 149-159 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Lightweight Verification with Dependent Types.
  Aaron Stump VERIFY (2007)
  to dblp by dblp on 2008-05-30 00:00:00
  | URL | BibTeX  
• Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006).
  Clark Barrett and Leonardo Mendonça de Moura and Aaron Stump Formal Methods in System Design 31 221-239 (2007)
  to dblp by dblp on 2008-03-11 00:00:00
  | URL | BibTeX  
• Observational equality, now!
  Thorsten Altenkirch and Conor McBride and Wouter Swierstra PLPV 57-68 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Jessie: an intermediate language for Java and C verification.
  Claude Marché PLPV 1-2 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Implementing reliable Linux device drivers in ATS.
  Rui Shi PLPV 41-46 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Compound monads in specification languages.
  Jeremy E. Dawson PLPV 3-10 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Pattern matching coverage checking with dependent types using set approximations.
  Nicolas Oury PLPV 47-56 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• The swiss coercion.
  Stefan Monnier PLPV 33-40 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX  
• Refined typechecking with Stardust.
  Joshua Dunfield PLPV 21-32 (2007)
  to dblp by dblp on 2007-11-06 00:00:00
  | URL | BibTeX