Haskell overloading is dexptime-complete

Haskell overloading is dexptime-complete (1994)

by Helmut Seidl , Fachbereich Informatik

Venue:	Information Processing Letters
Citations:	41 - 0 self

Datum	Value	Source
TITLE	Haskell overloading is dexptime-complete	INFERENCE
AUTHOR NAME	Helmut Seidl	SVM HeaderParse 0.2
AUTHOR ADDR	Postfach 151150 D-66041 Saarbr"ucken	SVM HeaderParse 0.2
AUTHOR NAME	Fachbereich Informatik	SVM HeaderParse 0.2
AUTHOR ADDR	Postfach 151150 D-66041 Saarbr"ucken	SVM HeaderParse 0.2
YEAR	1994	SVM HeaderParse 0.2
VENUE	Information Processing Letters	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	57--60	INFERENCE
VOLUME	52	INFERENCE
CITATIONS	9 found	ParsCit 1.0