Dagstuhl Seminar Proceedings, Volume 4381,

• Thorsten Altenkirch, Martin Hofmann, and John Hughes 04381 Abstracts Collection – Dependently Typed Programming 10.4230/DagSemProc.04381.1
• Anton Setzer and Peter Hancock Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version) 10.4230/DagSemProc.04381.2