VSL 2014: VIENNA SUMMER OF LOGIC 2014
DTP Home Page

Dependently Typed Programming 2014

Overview

Dependently typed programming is here today: where will it go tomorrow? On the one hand, dependent type theories have grown programming languages; on the other hand, the type systems of programming languages like Haskell, Scala and even C# are incorporating some kinds of type-level data.

The purpose of this workshop is to discuss experiences with dependent types in programming and future developments for dependently-typed languages. 

Detailed information on DTP14 can be found on the DTP 2014 website.

Organization

Program Committee