[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Literature on parametric theories



Can someone suggest good literature on parametric theories and
conditions under which such theories can be instantiated?
--
	Pertti Kellomaki
	Assistant professor
	Software Systems Laboratory
	Department of Information Technology
	Tampere University of Technology
	Finland

	http://www.cs.tut.fi/~pk