Hostname: page-component-76c49bb84f-ndtt8 Total loading time: 0 Render date: 2025-07-06T23:17:14.735Z Has data issue: false hasContentIssue false
  • English
  • Français

Selected papers from Dependently Typed Programming 2010 – Overview

Published online by Cambridge University Press:  27 November 2014

THORSTEN ALTENKIRCH  and
CONOR MCBRIDE
THORSTEN ALTENKIRCH
Affiliation:
University of Nottingham, School for Computer Science, Nottingham, NG9 2BB, United Kingdom Email: txa@cs.nott.ac.uk
CONOR MCBRIDE
Affiliation:
University of Strathclyde, United Kingdom
Get access Rights & Permissions [Opens in a new window]

Extract

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.

Information

Type
Introduction
Information
Mathematical Structures in Computer Science , Volume 26 , Special Issue 1: Special Issue: Dependently Typed Programming , January 2016 , pp. 1 - 2
Copyright
Copyright © Cambridge University Press 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable