Fairouz Kamareddine: On Functions and Types: A Tutorial. SOFSEM 2002: 74-93