Dependently Typed Programming

Keyphrases

Publications

2004

Anton Setzer, Peter G. Hancock
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version). Dependently Typed Programming (2004)
Thorsten Altenkirch, Martin Hofmann, John Hughes
04381 Abstracts Collection - Dependently Typed Programming. Dependently Typed Programming (2004)

volume 4381, 2004

Dependently Typed Programming, 12.09. - 17.09.2004 Dependently Typed Programming 4381 (2004)