description Benjamin Pierce Overview
Benjamin Pierce is a computer scientist at the University of Pennsylvania who works on programming language theory and type systems. He wrote the textbook "Types and Programming Languages" which is used in graduate-level programming language theory courses. Pierce developed the Software Foundations series, books on programming language theory and verification using the Coq proof assistant.
help Benjamin Pierce FAQ
What is Benjamin Pierce known for?
Pierce is a University of Pennsylvania professor known for type theory and programming-language semantics. He wrote the graduate textbook Types and Programming Languages.
What is the textbook Types and Programming Languages about?
It introduces type systems, operational semantics, and foundational concepts for programming languages. It is widely used in graduate computer-science courses.
What other project is Benjamin Pierce associated with?
Pierce has led the Software Foundations series, which uses Coq to teach formal verification and programming-language theory. The project is influential in mechanized logic education.
Where does Benjamin Pierce teach?
He teaches at the University of Pennsylvania. His research there centers on programming languages and type systems.
explore Explore More
Reviews & Comments
Write a Review
Be the first to review
Share your thoughts with the community and help others make better decisions.
