Conferences in DBLP

TYPES Workshops (types)
2004 (conf/types/2004)

1. Robin Adams
   Formalized Metatheory with Terms Represented by an Indexed Family of Types. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:1-16 [Conf]
   
2. Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli
   A Content Based Mathematical Search Engine: Whelp. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:17-32 [Conf]
   
3. Gilles Barthe, Sabrina Tarento
   A Machine-Checked Formalization of the Random Oracle Model. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:33-49 [Conf]
   
4. Stefan Berghofer
   Extracting a Normalization Algorithm in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:50-65 [Conf]
   
5. Yves Bertot, Benjamin Grégoire, Xavier Leroy
   A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:66-81 [Conf]
   
6. Ana Bove, Thierry Coquand
   Formalising Bitonic Sort in Type Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:82-97 [Conf]
   
7. Claudio Sacerdoti Coen
   A Semi-reflexive Tactic for (Sub-)Equational Reasoning. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:98-114 [Conf]
   
8. Solange Coupet-Grimal, William Delobel
   A Uniform and Certified Approach for Two Static Analyses. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:115-137 [Conf]
   
9. Adam Grabowski
   Solving Two Problems in General Topology Via Types. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:138-153 [Conf]
   
10. Fredrik Lindblad, Marcin Benke
    A Tool for Automated Theorem Proving in Agda. [Citation Graph (0, 0)][DBLP]
    TYPES, 2004, pp:154-169 [Conf]
    
11. Lionel Elie Mamane
    Surreal Numbers in Coq. [Citation Graph (0, 0)][DBLP]
    TYPES, 2004, pp:170-185 [Conf]
    
12. Conor McBride, Healfdene Goguen, James McKinna
    A Few Constructions on Constructors. [Citation Graph (0, 0)][DBLP]
    TYPES, 2004, pp:186-200 [Conf]
    
13. Thomas Meyer, Burkhart Wolff
    Tactic-Based Optimized Compilation of Functional Programs. [Citation Graph (0, 0)][DBLP]
    TYPES, 2004, pp:201-214 [Conf]
    
14. Markus Michelbrink
    Interfaces as Games, Programs as Strategies. [Citation Graph (0, 0)][DBLP]
    TYPES, 2004, pp:215-231 [Conf]
    
15. Alexandre Miquel
    lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts. [Citation Graph (0, 0)][DBLP]
    TYPES, 2004, pp:232-251 [Conf]
    
16. Peter Morris, Thorsten Altenkirch, Conor McBride
    Exploring the Regular Tree Types. [Citation Graph (0, 0)][DBLP]
    TYPES, 2004, pp:252-267 [Conf]
    
17. Michel Parigot
    On Constructive Existence. [Citation Graph (0, 0)][DBLP]
    TYPES, 2004, pp:268-273 [Conf]