Dependently Typed Programming 2014
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.