default search action

combined dblp search
author search
venue search
publication search

ask others

TYPES 2002: Berg en Dal, The Netherlands

> Home > Conferences and Workshops > TYPES

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/types/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/2002
Herman Geuvers, Freek Wiedijk:
Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers. Lecture Notes in Computer Science 2646, Springer 2003, ISBN 3-540-14031-X
- view
  authority control:
- export record
  dblp key:
  - conf/types/AbelM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/AbelM02
Andreas Abel, Ralph Matthes:
(Co-)Iteration for Higher-Order Nested Datatypes. 1-20
- view
  authority control:
- export record
  dblp key:
  - conf/types/Berghofer02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Berghofer02
Stefan Berghofer:
Program Extraction in Simply-Typed Higher Order Logic. 21-38
- view
  authority control:
- export record
  dblp key:
  - conf/types/Bove02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Bove02
Ana Bove:
General Recursion in Type Theory. 39-58
- view
  authority control:
- export record
  dblp key:
  - conf/types/BruckerW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/BruckerW02
Achim D. Brucker, Burkhart Wolff:
Using Theory Morphisms for Implementing Formal Methods Tools. 59-77
- view
  authority control:
- export record
  dblp key:
  - conf/types/Carlstrom02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Carlstrom02
Jesper Carlström:
Subsets, Quotients and Partial Functions in Martin-Löf's Type Theory. 78-94
- view
  authority control:
- export record
  dblp key:
  - conf/types/ChicliPS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/ChicliPS02
Laurent Chicli, Loic Pottier, Carlos Simpson:
Mathematical Quotients and Quotient Types in Coq. 95-107
- view
  authority control:
- export record
  dblp key:
  - conf/types/Cruz-Filipe02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Cruz-Filipe02
Luís Cruz-Filipe:
A Constructive Formalization of the Fundamental Theorem of Calculus. 108-126
- view
  authority control:
- export record
  dblp key:
  - conf/types/Dezani-CiancagliniG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Dezani-CiancagliniG02
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan:
Two Behavioural Lambda Models. 127-147
- view
  authority control:
- export record
  dblp key:
  - conf/types/GianantonioM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/GianantonioM02
Pietro Di Gianantonio, Marino Miculan:
A Unifying Approach to Recursive and Co-recursive Definitions. 148-161
- view
  authority control:
- export record
  dblp key:
  - conf/types/Jojgov02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Jojgov02
Gueorgui I. Jojgov:
Holes with Binding Power. 162-181
- view
  authority control:
- export record
  dblp key:
  - conf/types/Konecny02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Konecny02
Michal Konecný:
Typing with Conditions and Guarantees for Functional In-place Update. 182-199
- view
  authority control:
- export record
  dblp key:
  - conf/types/Letouzey02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Letouzey02
Pierre Letouzey:
A New Extraction for Coq. 200-219
- view
  authority control:
- export record
  dblp key:
  - conf/types/LuoLS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/LuoLS02
Yong Luo, Zhaohui Luo, Sergei Soloviev:
Weak Transitivity in Coercive Subtyping. 220-239
- view
  authority control:
- export record
  dblp key:
  - conf/types/MiquelW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/MiquelW02
Alexandre Miquel, Benjamin Werner:
The Not So Simple Proof-Irrelevant Model of CC. 240-258
- view
  authority control:
- export record
  dblp key:
  - conf/types/Nipkow02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Nipkow02
Tobias Nipkow:
Structured Proofs in Isar/HOL. 259-278
- view
  authority control:
- export record
  dblp key:
  - conf/types/Setzer02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Setzer02
Anton Setzer:
Java as a Functional Programming Language. 279-298
- view
  authority control:
- export record
  dblp key:
  - conf/types/Uustalu02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Uustalu02
Tarmo Uustalu:
Monad Translating Inductive and Coinductive Types. 299-315
- view
  authority control:
- export record
  dblp key:
  - conf/types/Vaillant02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/Vaillant02
Stéphane Vaillant:
A Finite First-Order Presentation of Set Theory. 316-330

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.