BenjaminPierce

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