Dagstuhl Seminar Proceedings 04381

Dependently Typed Programming

T. Altenkirch, M. Hofmann, J. Hughes (Eds.)

published by LZI
Host

ISSN  1862 - 4405

Dagstuhl Seminar 04381, 12.09. - 17.09.2004
Additional Information
Seminar Homepage
License
Search Publication Server

Authors
  • Altenkirch, Thorsten
  • Hancock, Peter
  • Hofmann, Martin
  • Hughes, John
  • Setzer, Anton
    		•

    		  
    04381 Abstracts Collection -- Dependently Typed Programming
    Authors: Altenkirch, Thorsten ; Hofmann, Martin ; Hughes, John

    Abstract | Document (139 KB) | BibTeX

    Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version)
    Authors: Setzer, Anton ; Hancock, Peter

    Abstract | Document (278 KB) | BibTeX

    		  



    DROPS-Home | Imprint | Privacy
    Published by LZI