Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming.

Gilles Barthe Peter Dybjer Peter Thiemann

Published in: J. Funct. Program. (2004)

Keyphrases

programming language
information retrieval
general purpose
theoretical framework
information theory
mathematical foundations
belief functions
formal theory
hands on guide
real time
real world
image processing
multiscale
data structure
relational databases
user interface