The SCEAS System
Navigation Menu

Conferences in DBLP

TYPES Workshops (types)
2002 (conf/types/2002)

  1. Andreas Abel, Ralph Matthes
    (Co-)Iteration for Higher-Order Nested Datatypes. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:1-20 [Conf]
  2. Stefan Berghofer
    Program Extraction in Simply-Typed Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:21-38 [Conf]
  3. Ana Bove
    General Recursion in Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:39-58 [Conf]
  4. Achim D. Brucker, Burkhart Wolff
    Using Theory Morphisms for Implementing Formal Methods Tools. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:59-77 [Conf]
  5. Jesper Carlström
    Subsets, Quotients and Partial Functions in Martin-Löf's Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:78-94 [Conf]
  6. Laurent Chicli, Loic Pottier, Carlos Simpson
    Mathematical Quotients and Quotient Types in Coq. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:95-107 [Conf]
  7. Luís Cruz-Filipe
    A Constructive Formalization of the Fundamental Theorem of Calculus. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:108-126 [Conf]
  8. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
    Two Behavioural Lambda Models. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:127-147 [Conf]
  9. Pietro Di Gianantonio, Marino Miculan
    A Unifying Approach to Recursive and Co-recursive Definitions. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:148-161 [Conf]
  10. Gueorgui I. Jojgov
    Holes with Binding Power. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:162-181 [Conf]
  11. Michal Konecný
    Typing with Conditions and Guarantees for Functional In-place Update. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:182-199 [Conf]
  12. Pierre Letouzey
    A New Extraction for Coq. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:200-219 [Conf]
  13. Yong Luo, Zhaohui Luo, Sergei Soloviev
    Weak Transitivity in Coercive Subtyping. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:220-239 [Conf]
  14. Alexandre Miquel, Benjamin Werner
    The Not So Simple Proof-Irrelevant Model of CC. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:240-258 [Conf]
  15. Tobias Nipkow
    Structured Proofs in Isar/HOL. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:259-278 [Conf]
  16. Anton Setzer
    Java as a Functional Programming Language. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:279-298 [Conf]
  17. Tarmo Uustalu
    Monad Translating Inductive and Coinductive Types. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:299-315 [Conf]
  18. Stéphane Vaillant
    A Finite First-Order Presentation of Set Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:316-330 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002