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

View edit of May 6, 2008 or FindPage with title or text search