Yahoo Search Busca da Web

Entrar

Resultado da Busca

  1. en.wikipedia.org › wiki › Benjamin_CBenjamin C. Pierce - Wikipedia

    Benjamin C. Pierce. Benjamin Crawford Pierce is the Henry Salvatori Professor [1] 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.

  2. www.cis.upenn.edu › ~bcpierceBenjamin C. Pierce - University of Pennsylvania

    Benjamin C. Pierce Henry Salvatori Professor Department of Computer and Information Science University of Pennsylvania

  3. scholar.google.com › citations‪Benjamin C. Pierce‬ - ‪Google Scholar‬

    Articles 1–20. ‪Professor of Computer and Information Science, University of Pennsylvania‬ - ‪‪Cited by 24,032‬‬ - ‪Programming languages‬ - ‪type systems‬ - ‪security and privacy‬ -...

  4. www.cis.upenn.edu › ~bcpierce › taplTypes and Programming Languages - University of Pennsylvania

    Benjamin C. Pierceis Professor of Computer and Information Science at the University of Pennsylvania. "Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their usage, theory, and implementation.

  5. www.cis.upenn.edu › ~bcpierce › bioBenjamin C. Pierce, Professor - University of Pennsylvania

    Benjamin C. Pierce, Professor. Benjamin Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania and a Fellow of the ACM. His research interests include programming languages, type systems, language-based security, computer-assisted formal verification, differential privacy, and synchronization ...

  6. dblp.org › pid › pdblp: Benjamin C. Pierce

    3 de mar. de 2018 · Benjamin C. Pierce: Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, TLDI 2012, Philadelphia, PA, USA, Saturday, January 28, 2012. ACM 2012, ISBN 978-1-4503-1120-5

  7. directory.seas.upenn.edu › benjamin-c-pierceBenjamin C. Pierce - University of Pennsylvania

    Computer and Information Science. Office: Levine Hall 562. Personal Website. Quick Actions.