Open data types and open functions

Hinze, Ralf and Löh, Andres

institution	Institut für Informatik III, Universität Bonn
month	feb
number	IAI-TR-2006-3
year	2006

people	Ralf Hinze
activities	Algebra of Programming