Back to Search
Start Over
Selected papers from Dependently Typed Programming 2010 – Overview.
- Source :
- Mathematical Structures in Computer Science; Jan2016, Vol. 26 Issue 1, p1-2, 2p
- Publication Year :
- 2016
-
Abstract
- This special issue comprises selected papers which were presented at the workshop on dependently typed programming (DTP 10) in Edinburgh in July 2010 – affiliated with Federated Logic conferences (FLOC 10). Earlier workshops on dependently typed programming took place in Nottingham in 2008 (DTP 2008) and there also has been a Dagstuhl seminar (04381) on this subject in 2004. After DTP 2010, in 2011 a workshop on dependently typed programming (DTP 11) took place in Nijmegen affiliated with Interactive Theorem Proving 2011 (ITP 11). In September 2011 there also was a DTP workshop in Shonan, Japan. [ABSTRACT FROM PUBLISHER]
- Subjects :
- COMPUTER programming
MATHEMATICS theorems
COMPUTER science
Subjects
Details
- Language :
- English
- ISSN :
- 09601295
- Volume :
- 26
- Issue :
- 1
- Database :
- Complementary Index
- Journal :
- Mathematical Structures in Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 111152186
- Full Text :
- https://doi.org/10.1017/S0960129514000097