Slide 1Types and Programming Languages Lecture 1 Simon Gay Department of Computing Science University of Glasgow 2006/07 Slide 2 Types and Programming Languages Lecture 1…
