[TYPES] Paper on Dependent Types in Programming
txa at cs.nott.ac.uk
Sat Apr 16 23:14:53 EDT 2005
our (Conor McBride, James McKinna and myself) new paper is available
from my webpage:
Comments are very much appreciated.
Why Dependent Types Matter
We exhibit the rationale behind the design of Epigram, a dependently
typed programming language and interactive program development
system using refinements of a well known program, merge sort, as a
running example. We discuss the relationship to other proposals
to introduce aspects of dependent types into functional programming
languages and sketch some topics for further work in this area.
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
More information about the Types-list