Conferences in DBLP

(plpv)
2009 (conf/plpv/2009)

1. 
   Language-agnostic specification and verification: invited talk. [Citation Graph (, )][DBLP]
   
   
2. 
   Positively dependent types. [Citation Graph (, )][DBLP]
   
   
3. 
   Refinement types and computational duality. [Citation Graph (, )][DBLP]
   
   
4. 
   Compositional reasoning and decidable checking for dependent contract types. [Citation Graph (, )][DBLP]
   
   
5. 
   Type invariants for Haskell. [Citation Graph (, )][DBLP]
   
   
6. 
   Verified programming in Guru. [Citation Graph (, )][DBLP]
   
   
7. 
   Embedding a logical theory of constructions in Agda. [Citation Graph (, )][DBLP]
   
   
8. 
   Challenge proposal: verification of refactorings. [Citation Graph (, )][DBLP]
   
   
9. 
   Pragmatic equivalence and safety checking in Cryptol. [Citation Graph (, )][DBLP]