
Conferences in DBLP
 Andreas Abel, Ralph Matthes
(Co)Iteration for HigherOrder Nested Datatypes. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:120 [Conf]
 Stefan Berghofer
Program Extraction in SimplyTyped Higher Order Logic. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:2138 [Conf]
 Ana Bove
General Recursion in Type Theory. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:3958 [Conf]
 Achim D. Brucker, Burkhart Wolff
Using Theory Morphisms for Implementing Formal Methods Tools. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:5977 [Conf]
 Jesper Carlström
Subsets, Quotients and Partial Functions in MartinLöf's Type Theory. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:7894 [Conf]
 Laurent Chicli, Loic Pottier, Carlos Simpson
Mathematical Quotients and Quotient Types in Coq. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:95107 [Conf]
 Luís CruzFilipe
A Constructive Formalization of the Fundamental Theorem of Calculus. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:108126 [Conf]
 Mariangiola DezaniCiancaglini, Silvia Ghilezan
Two Behavioural Lambda Models. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:127147 [Conf]
 Pietro Di Gianantonio, Marino Miculan
A Unifying Approach to Recursive and Corecursive Definitions. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:148161 [Conf]
 Gueorgui I. Jojgov
Holes with Binding Power. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:162181 [Conf]
 Michal Konecný
Typing with Conditions and Guarantees for Functional Inplace Update. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:182199 [Conf]
 Pierre Letouzey
A New Extraction for Coq. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:200219 [Conf]
 Yong Luo, Zhaohui Luo, Sergei Soloviev
Weak Transitivity in Coercive Subtyping. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:220239 [Conf]
 Alexandre Miquel, Benjamin Werner
The Not So Simple ProofIrrelevant Model of CC. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:240258 [Conf]
 Tobias Nipkow
Structured Proofs in Isar/HOL. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:259278 [Conf]
 Anton Setzer
Java as a Functional Programming Language. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:279298 [Conf]
 Tarmo Uustalu
Monad Translating Inductive and Coinductive Types. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:299315 [Conf]
 Stéphane Vaillant
A Finite FirstOrder Presentation of Set Theory. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:316330 [Conf]
