http://www.cis.upenn.edu/~bcpierce/
Professor of Computer Science at University of Pennsylvania. Author of TypesAndProgrammingLanguages and BasicCategoryTheoryForComputerScientists, as well as numerous papers on TypeTheory and distributed systems. Editor of AdvancedTopicsInTypesAndProgrammingLanguages.
CategoryAuthor CategoryScientist