State Center for Health Statistics Division of Public Health NC Dept. of Health and Human Services.
Types and Programming Languages Lecture 5 Simon Gay Department of Computing Science University of Glasgow 2006/07.