Conferences in DBLP

TYPES Workshops (types)
2003 (conf/types/2003)

1. Robin Adams
   A Modular Hierarchy of Logical Frameworks. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:1-16 [Conf]
   
2. Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini
   Tailoring Filter Models. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:17-33 [Conf]
   
3. Clemens Ballarin
   Locales and Locale Expressions in Isabelle/Isar. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:34-50 [Conf]
   
4. Sylvain Baro
   Introduction to PAF!, a Proof Assistant for ML Programs Verification. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:51-65 [Conf]
   
5. Stefan Berghofer
   A Constructive Proof of Higman's Lemma in Isabelle. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:66-82 [Conf]
   
6. Lorenzo Bettini, Viviana Bono, Silvia Likavec
   A Core Calculus of Higher-Order Mixins and Classes. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:83-98 [Conf]
   
7. Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn
   Type Inference for Nested Self Types. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:99-114 [Conf]
   
8. Edwin Brady, Conor McBride, James McKinna
   Inductive Families Need Not Store Their Indices. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:115-129 [Conf]
   
9. Jacek Chrzaszcz
   Modules in Coq Are and Will Be Correct. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:130-146 [Conf]
   
10. Horatiu Cirstea, Luigi Liquori, Benjamin Wack
    Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:147-161 [Conf]
    
11. Pierre Corbineau
    First-Order Reasoning in the Calculus of Inductive Constructions. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:162-177 [Conf]
    
12. Ugo Dal Lago, Simone Martini, Luca Roversi
    Higher-Order Linear Ramified Recurrence. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:178-193 [Conf]
    
13. José Espírito Santo, Luis Pinto
    Confluence and Strong Normalisation of the Generalised Multiary ?-Calculus. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:194-209 [Conf]
    
14. Nicola Gambino, Martin Hyland
    Wellfounded Trees and Dependent Polynomial Functors. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:210-225 [Conf]
    
15. Silvia Ghilezan, Pierre Lescanne
    Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:226-241 [Conf]
    
16. Furio Honsell, Marina Lenisa
    "Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:242-258 [Conf]
    
17. Robert Kießling, Zhaohui Luo
    Coercions in Hindley-Milner Systems. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:259-275 [Conf]
    
18. Yong Luo, Zhaohui Luo
    Combining Incoherent Coercions for Sigma-Types. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:276-292 [Conf]
    
19. Alberto Momigliano, Alwen Fernanto Tiu
    Induction and Co-induction in Sequent Calculus. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:293-308 [Conf]
    
20. Milad Niqui, Yves Bertot
    QArith: Coq Formalisation of Lazy Rational Arithmetic. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:309-323 [Conf]
    
21. Furio Honsell, Ivan Scagnetto
    Mobility Types in Coq. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:324-337 [Conf]
    
22. Sergei Soloviev, David Chemouil
    Some Algebraic Structures in Lambda-Calculus with Inductive Types. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:338-354 [Conf]
    
23. Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker
    A Concurrent Logical Framework: The Propositional Fragment. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:355-377 [Conf]
    
24. Freek Wiedijk
    Formal Proof Sketches. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:378-393 [Conf]
    
25. Hongwei Xi
    Applied Type System: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:394-408 [Conf]