Benjamin C. Pierce

A person who is a research professor at the University of Pennsylvania, working in type theory, concurrency and object-oriented theory. He is the author of several interesting books and dozens of papers on type theory and programming languages.

This page is linked from: Methods of Migration   Type System