Benjamin Pierce

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

EditText of this page (last edited May 6, 2008) or FindPage with title or text search