DTP'00 proceedings
Back to the DTP'00
home page.
- Foreword. copy
- Eugenio Moggi. Arity Polymorphism and Dependent Types. abstract
and
slides
- Simon Thompson. Computer Algebra and Reasoning. abstract
- Gustavo Betarte. Type-checking dependent record types and
subtyping.
abstract
- Paul Callaghan. Coherence Checking of Coercions in Plastic.
paper
- Peter Hancock and Anton Setzer. Specifying interactions with
dependent types.
paper
- Johan Nordlander. Polymorphic subtyping in O'Haskell. paper
- Robert Pollack. Dependently typed records for representing mathematical
structure. paper
- Walid Taha and Henning Makholm. Tag Elimination or Type Specialization
is a Type-Indexed Effect. paper
- Songtao Xia and James Hook. Indexed Types for JVM method
invocation. paper
- Jan Zwanenburg. Pure Type Systems with Subtyping. abstract