Yahoo Search Busca da Web

Resultado da Busca

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

   en.wikipedia.org › wiki › Benjamin_C

   • Em cache

   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

   www.cis.upenn.edu › ~bcpierce

   • Em cache

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

3. Imagens

   • 
   • 
   • 
   • 
   • 
   • 
   • 

   Ver tudo

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

   scholar.google.com › citations

   • Em cache

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

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

   www.cis.upenn.edu › ~bcpierce › tapl

   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.

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

   www.cis.upenn.edu › ~bcpierce › bio

   • Em cache

   Benjamin C. Pierce is a renowned researcher and educator in programming languages, type systems, and formal verification. He is the author of several influential textbooks and the lead designer of Unison and Midspace.

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

   dblp.org › pid › p

   • Em cache

   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

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

   directory.seas.upenn.edu › benjamin-c-pierce

   • Em cache

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