Conferences in DBLP

TYPES Workshops (types)
2008 (conf/types/2008)

1. 
   Type Inference by Coinductive Logic Programming. [Citation Graph (, )][DBLP]
   
   
2. 
   About the Formalization of Some Results by Chebyshev in Number Theory. [Citation Graph (, )][DBLP]
   
   
3. 
   A New Elimination Rule for the Calculus of Inductive Constructions. [Citation Graph (, )][DBLP]
   
   
4. 
   A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. [Citation Graph (, )][DBLP]
   
   
5. 
   Proving Infinitary Normalization. [Citation Graph (, )][DBLP]
   
   
6. 
   First-Class Object Sets. [Citation Graph (, )][DBLP]
   
   
7. 
   Monadic Translation of Intuitionistic Sequent Calculus. [Citation Graph (, )][DBLP]
   
   
8. 
   Towards a Type Discipline for Answer Set Programming. [Citation Graph (, )][DBLP]
   
   
9. 
   Type Inference for a Polynomial Lambda Calculus. [Citation Graph (, )][DBLP]
   
   
10. 
    Local Theory Specifications in Isabelle/Isar. [Citation Graph (, )][DBLP]
    
    
11. 
    Axiom Directed Focusing. [Citation Graph (, )][DBLP]
    
    
12. 
    A Type System for Usage of Software Components. [Citation Graph (, )][DBLP]
    
    
13. 
    Merging Procedural and Declarative Proof. [Citation Graph (, )][DBLP]
    
    
14. 
    Using Structural Recursion for Corecursion. [Citation Graph (, )][DBLP]
    
    
15. 
    Manifest Fields and Module Mechanisms in Intensional Type Theory. [Citation Graph (, )][DBLP]
    
    
16. 
    A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq. [Citation Graph (, )][DBLP]
    
    
17. 
    Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme. [Citation Graph (, )][DBLP]
    
    
18. 
    A Process-Model for Linear Programs. [Citation Graph (, )][DBLP]
    
    
19. 
    Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets. [Citation Graph (, )][DBLP]