Selected papers from Dependently Typed Programming 2010 – Overview. (27th November 2014)
- Record Type:
- Journal Article
- Title:
- Selected papers from Dependently Typed Programming 2010 – Overview. (27th November 2014)
- Main Title:
- Selected papers from Dependently Typed Programming 2010 – Overview
- Authors:
- ALTENKIRCH, THORSTEN
MCBRIDE, CONOR - Abstract:
- 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.
- Is Part Of:
- Mathematical structures in computer science. Volume 26:Number 1(2016)
- Journal:
- Mathematical structures in computer science
- Issue:
- Volume 26:Number 1(2016)
- Issue Display:
- Volume 26, Issue 1 (2016)
- Year:
- 2016
- Volume:
- 26
- Issue:
- 1
- Issue Sort Value:
- 2016-0026-0001-0000
- Page Start:
- 1
- Page End:
- 2
- Publication Date:
- 2014-11-27
- Subjects:
- Computer science -- Mathematics -- Periodicals
004.015105 - Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=MSC ↗
- DOI:
- 10.1017/S0960129514000097 ↗
- Languages:
- English
- ISSNs:
- 0960-1295
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 613.xml