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.

Författare

Wouter Swierstra

Universiteit Utrecht

Peter Dybjer

Chalmers, Data- och informationsteknik, Datavetenskap

Journal of Functional Programming

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

Vol. 27 e15

Ämneskategorier

Inbäddad systemteknik

Datavetenskap (datalogi)

Datorsystem

DOI

10.1017/S0956796817000065

Mer information

Senast uppdaterat

2019-11-25