home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by dr. F.H. Henglein

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

dr. F.H. Henglein

• contact information
• my technical reports
• former member of group software technology

some publications

Henglein, F.H. (1990). A lower bound for full polymorphic type inference: Girard-Reynolds Typability is DEXPTIME-hard. RUU-CS 90-14. Utrecht.

Henglein, F.H. (1989). Fast left-linear semi-unification. RUU-CS 89-33. Utrecht.