Concepedia

Benjamin C. Pierce

BC

Statistics

Publications

141

Citations

11K

H-Index

55

Active since

1989

Affiliations

University of Pennsylvania(Current)

California University of Pennsylvania

Institut national de recherche en sciences et technologies du numérique

University of Edinburgh

Carnegie Mellon University

Benjamin C. Pierce is an author at University of Pennsylvania specializing in computer science, computing, and programming languages.

Publications per year

1989–2024

141

Publications

141

Featherweight Java

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler · ACM Transactions on Programming Languages and Systems · 2001 · 1K citations · Full text

Computing, Computer Science, Formal Methods +16

Combinators for bidirectional tree transformations

J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore et al. · ACM Transactions on Programming Languages and Systems · 2007 · 419 citations · Full text

Computing, Computer Science, Combinatorics +11

XDuce

Haruo Hosoya, Benjamin C. Pierce · ACM Transactions on Internet Technology · 2003 · 340 citations

Computing, Computer Science, Formal Methods +16

Typing and subtyping for mobile processes

Benjamin C. Pierce, Davide Sangiorgi · Mathematical Structures in Computer Science · 1996 · 318 citations

Computing, Computer Science, Algebra +11

Dynamic typing in a statically typed language

Martı́n Abadi, Luca Cardelli, Benjamin C. Pierce et al. · ACM Transactions on Programming Languages and Systems · 1991 · 286 citations · Full text

Computing, Computer Science, Programming Languages +16

1–5 of 141