Towards a practical programming language based on dependent type theory

Towards a practical programming language based on dependent type theory (2007)

by Ulf Norell

Citations:

112 - 3 self

User correction supplied by mph

Datum	Value	Source
TITLE	Towards a practical programming language based on dependent type theory	SVM HeaderParse 0.2
AUTHOR NAME	Ulf Norell	user correction
AUTHOR AFFIL	Department of Computer Science and Engineering; Chalmers University of Technology and Göteborg University	user correction
YEAR	2007	INFERENCE
TECH	PhD thesis	INFERENCE
CITATIONS	8 found	ParsCit 1.0