Search results
Benjamin Pierce is a researcher and teacher in programming languages, logic, and software foundations. He is the author of several books, including Types and Programming Languages and Software Foundations, and a co-founder of the Penn PL Club.
- Types and Programming Languages
Types and Programming Languages - University of Pennsylvania
- Unison
Overview: Unison is a file-synchronization tool for OSX,...
- Capsule Bio
Benjamin Pierce is Henry Salvatori Professor of Computer and...
- Tldi 2012
TLDI 2012. The Seventh ACM SIGPLAN Workshop on . Types in...
- Types and Programming Languages
Benjamin Pierce (December 25, 1757 – April 1, 1839) was an American politician who twice served as the governor of New Hampshire from 1827 to 1828 and from 1829 to 1830. Pierce fought during the American Revolutionary War before becoming a Democratic-Republican Party politician.
Benjamin or Ben Pierce may refer to: Benjamin Pierce (governor) (1757–1839), governor of New Hampshire in the 1820s, father of U.S. President Franklin Pierce.
A comprehensive list of publications by Benjamin Pierce, a professor of computer science at the University of Pennsylvania. The publications cover topics such as specification, verification, testing, security, types, concurrency, and more.
Benjamin Crawford Pierce is the Henry Salvatori Professor of computer science at the University of Pennsylvania. Pierce joined Penn in 1998 from Indiana University and held research positions at the University of Cambridge and the University of Edinburgh .
Benjamin C. Pierce. Professor of Computer and Information Science, University of Pennsylvania. Verified email at cis.upenn.edu - Homepage. Programming languages type systems security and privacy functional programming formal specification and verification.
People also ask
Is Benjamin Pierce still alive?
Who is Benjamin Crawford Pierce?
Who is Benjamin C Pierce?
Where was William Pierce born?