B
Benjamin C. Pierce
Researcher at University of Pennsylvania
Publications - 260
Citations - 19029
Benjamin C. Pierce is an academic researcher from University of Pennsylvania. The author has contributed to research in topics: Bisimulation & Formal verification. The author has an hindex of 66, co-authored 251 publications receiving 17901 citations. Previous affiliations of Benjamin C. Pierce include University of British Columbia & University of Minnesota.
Papers
More filters
Book
Types and Programming Languages
TL;DR: This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages, with a variety of approaches to modeling the features of object-oriented languages.
Journal ArticleDOI
Featherweight Java: a minimal core calculus for Java and GJ
TL;DR: This work extends Featherweight Java with generic classes in the style of GJ and gives a detailed proof of type safety, which formalizes for the first time some of the key features ofGJ.
Journal ArticleDOI
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
TL;DR: A novel approach to the view-update problem for tree-structured data: a domain-specific programming language in which all expressions denote bidirectional transformations on trees that map a concrete tree into a simplified abstract view and a modified abstract view to a correspondingly modified concrete tree.
Proceedings ArticleDOI
Featherweight Java: a minimal core calculus for Java and GJ
TL;DR: A proof of type safety for Featherweight Java illustrates many of the interesting features of a safety proof for the full language, while remaining pleasingly compact.
Book
Basic Category Theory for Computer Scientists
TL;DR: It's important for you to start having that hobby that will lead you to join in better concept of life and reading will be a positive activity to do every time.