Benjamin C. Pierce

0 Comments Leave a Comment

1-7 of 7

About Benjamin C. Pierce

Benjamin C. Pierce is an American professor of computer science at the University of Pennsylvania. Dr. Pierce joined Penn in 1998 from Indiana University and held research positions at the University of Cambridge and the University of Edinburgh. He received his Ph.D. from Carnegie Mellon University in 1991. His research includes work on programming languages, static type systems, distributed programming, mobile agents, and process calculi.

Read More


As part of his research, Pierce has led development on several open-source software projects, including the Unison file synchronization utility."

  1. Mentioned In 7 Articles

  2. Scrap your type applications

    Microsoft Research Home (Jul 17 2008) Explore Article

    ...“163, New York, NY, USA, 1988. ACM. ISBN 089791-273-X. doi: http://doi.acm.org/10.1145/62678.62697. Benjamin C. Pierce and David N. Turner. Local type inference. In 25th ACM Symposium on Principles of Programming Langu... (Read Full Article)

    Comment on Article Mentions:   Benjamin C. Pierce   Jeremy Gibbons   Systems

  3. Erik Meijer - Confessions Of A Used Programming Language Salesman (Getting The Masses Hooked On Haskell)

    Microsoft Research Home (Jun 3 2008) Explore Article

    ...ating XML Processing in Java. In Proceedings WWW, 2005. [48] Haruo Hosoya, J´ rˆ me Vouillon, and Benjamin C. Pierce. eo Regular expression types for XML. ACM TOPLAS, 27(1):46–90, 2005. [49] Paul Hudak. Building do... (Read Full Article)

    Comment on Article Mentions:   Benjamin C. Pierce   Peter Thiemann   Ross Paterson

  4. [Haskell] Applicative translucent functors in Haskell

    Haskell (May 30 2008) Explore Article

    ... to unify one type expression with the other and bind type variables. REFERENCES Robert Harper, and Benjamin C. Pierce. 2003. Design issues in advanced module systems. In Advanced topics in types and programming lang... (Read Full Article)

    Comment on Article Mentions:   Robert Harper   Benjamin C. Pierce   Oleg Kiselyov

  5. A .net Bridge for Haskell: Dancing with the Devil

    Java SSH for weill (Mar 16 2008) Explore Article

    ...ware Reuse, Victoria, British Columbia, 1998. URL citeseer.ist.psu.edu/jones97scripting. html. [23] Benjamin C. Pierce. Types and Programming Languages. MIT Press, Cambridge, MA, USA, 2002. ISBN 0-262-16209-1. [24] Joe... (Read Full Article)

    Comment on Article Mentions:   Benjamin C. Pierce   Microsoft Research   Erik Meijer

  6. afp-arrows.pdf (application/pdf Object)

    cs.chalmers.se (Feb 14 2008) Explore Article

    ...raic data types . http://research.microsoft.com/Users/simonpj/papers/gadt/index.htm, July 2004. 21. Benjamin C. Pierce. Basic Category Theory for Computer Scientists. MIT Press, 1991. 22. John Power and Edmund Robinson... (Read Full Article)

    Comment on Article Mentions:   Peter Thiemann   Benjamin C. Pierce   Jeremy Gibbons

  7. Programmable Concurrency in Pure and Lazy Languages

    cis.upenn.edu (Jan 15 2008) Explore Article

    ...cis.upenn.edu September 20, 2007 Dissertation Advisor: Stephan A. Zdancewic Dissertation Commitee: Benjamin C. Pierce (Chair) Milo M. K. Martin Stephanie Weirich Andrew Tolmach (External) Abstract This dissertation ... (Read Full Article)

    Comment on Article Mentions:   Benjamin C. Pierce   Kathleen Fisher   Microsoft Research

  8. Brent Yorgey: An Indian History of the American West

    blog :: Brent -> [String] (Jan 13 2008) Explore Article

    ...d this one, it’s pretty dense but I’m enjoying it so far. Types and Programming Languages, Benjamin C. Pierce This is the area I’m interested in doing research in, so I’m trying to get a leg up on some of ... (Read Full Article)

    Comment on Article Mentions:   Benjamin C. Pierce

1-7 of 7
Home All Articles Entities Quotes Comments Login Register Powered by HiveFire