
Conferences in DBLP
 Robin Adams
Formalized Metatheory with Terms Represented by an Indexed Family of Types. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:116 [Conf]
 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:1732 [Conf]
 Gilles Barthe, Sabrina Tarento
A MachineChecked Formalization of the Random Oracle Model. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:3349 [Conf]
 Stefan Berghofer
Extracting a Normalization Algorithm in Isabelle/HOL. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:5065 [Conf]
 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:6681 [Conf]
 Ana Bove, Thierry Coquand
Formalising Bitonic Sort in Type Theory. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:8297 [Conf]
 Claudio Sacerdoti Coen
A Semireflexive Tactic for (Sub)Equational Reasoning. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:98114 [Conf]
 Solange CoupetGrimal, William Delobel
A Uniform and Certified Approach for Two Static Analyses. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:115137 [Conf]
 Adam Grabowski
Solving Two Problems in General Topology Via Types. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:138153 [Conf]
 Fredrik Lindblad, Marcin Benke
A Tool for Automated Theorem Proving in Agda. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:154169 [Conf]
 Lionel Elie Mamane
Surreal Numbers in Coq. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:170185 [Conf]
 Conor McBride, Healfdene Goguen, James McKinna
A Few Constructions on Constructors. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:186200 [Conf]
 Thomas Meyer, Burkhart Wolff
TacticBased Optimized Compilation of Functional Programs. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:201214 [Conf]
 Markus Michelbrink
Interfaces as Games, Programs as Strategies. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:215231 [Conf]
 Alexandre Miquel
lamdaZ: Zermelo's Set Theory as a PTS with 4 Sorts. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:232251 [Conf]
 Peter Morris, Thorsten Altenkirch, Conor McBride
Exploring the Regular Tree Types. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:252267 [Conf]
 Michel Parigot
On Constructive Existence. [Citation Graph (0, 0)][DBLP] TYPES, 2004, pp:268273 [Conf]
