Special issue on Programming with Dependent Types Editorial
Inledande text i tidskrift, 2017

There has been sustained interest in functional programming languages with dependent types in recent years. The foundations of dependently typed programming can be traced back to Martin–Löf's work in the 1970s. In the past decades, this vision has given rise to the development of proof assistants and functional programming languages based on dependent types. The increased popularity of systems such as Agda, Coq, Idris, and many others, reflects the growing momentum in this research area. After sending out our first call for papers in October 2015, we are happy to accept six articles in this special issue covering a wide spectrum of topics.


Wouter Swierstra

Universiteit Utrecht

Peter Dybjer

Chalmers, Data- och informationsteknik, Datavetenskap

Journal of Functional Programming

0956-7968 (ISSN) 1469-7653 (eISSN)

Vol. 27 e15


Inbäddad systemteknik

Datavetenskap (datalogi)




Mer information

Senast uppdaterat