Conferences in DBLP

TYPES Workshops (types)
1999 (conf/types/1999)

1. Andreas Abel
   Specification and Verification of a Formal System for Structurally Recursive Functions. [Citation Graph (0, 0)][DBLP]
   TYPES, 1999, pp:1-20 [Conf]
   
2. Andreas Abel, Thorsten Altenkirch
   A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types. [Citation Graph (0, 0)][DBLP]
   TYPES, 1999, pp:21-40 [Conf]
   
3. Steffen van Bakel, Franco Barbanera, Maribel Fernández
   Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule. [Citation Graph (0, 0)][DBLP]
   TYPES, 1999, pp:41-60 [Conf]
   
4. Gertrud Bauer, Markus Wenzel
   Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in Isabelle/Isar). [Citation Graph (0, 0)][DBLP]
   TYPES, 1999, pp:61-76 [Conf]
   
5. Gustavo Betarte, Cristina Cornes, Nora Szasz, Alvaro Tasistro
   Specification of a Smart Card Operating System. [Citation Graph (0, 0)][DBLP]
   TYPES, 1999, pp:77-93 [Conf]
   
6. Paul Callaghan, Zhaohui Luo
   Implementation Techniques for Inductive Types in Plastic. [Citation Graph (0, 0)][DBLP]
   TYPES, 1999, pp:94-113 [Conf]
   
7. Alberto Ciaffaglione, Pietro Di Gianantonio
   A Co-inductive Approach to Real Numbers. [Citation Graph (0, 0)][DBLP]
   TYPES, 1999, pp:114-130 [Conf]
   
8. David Delahaye
   Information Retrieval in a Coq Proof Library Using Type Isomorphisms. [Citation Graph (0, 0)][DBLP]
   TYPES, 1999, pp:131-147 [Conf]
   
9. Healfdene Goguen, Richard Brooksby, Rod M. Burstall
   Memory Management: An Abstract Formulation of Incremental Tracing. [Citation Graph (0, 0)][DBLP]
   TYPES, 1999, pp:148-161 [Conf]
   
10. Micaela Mayero
    The Three Gap Theorem (Steinhaus Conjecture). [Citation Graph (0, 0)][DBLP]
    TYPES, 1999, pp:162-173 [Conf]
    
11. Qiao Haiyan
    Formalising Formulas-as-Types-as-Objects. [Citation Graph (0, 0)][DBLP]
    TYPES, 1999, pp:174-193 [Conf]