Benjamin C. Pierce

Results: 45



#Item
1Boomerang: Resourceful Lenses for String Data Aaron Bohannon J. Nathan Foster Benjamin C. Pierce

Boomerang: Resourceful Lenses for String Data Aaron Bohannon J. Nathan Foster Benjamin C. Pierce

Add to Reading List

Source URL: pauillac.inria.fr

Language: English - Date: 2009-07-07 07:39:39
    2Quotient Lenses J. Nathan Foster Alexandre Pilkiewicz Benjamin C. Pierce

    Quotient Lenses J. Nathan Foster Alexandre Pilkiewicz Benjamin C. Pierce

    Add to Reading List

    Source URL: pauillac.inria.fr

    Language: English - Date: 2009-07-07 07:39:20
      3‫מושגים בשפות תכנות‬ ‫תרגיל ‪3‬‬ ‫להגשה עד ‪‬‬ ‫הנחיות כלליות‪:‬‬ ‫●

      ‫מושגים בשפות תכנות‬ ‫תרגיל ‪3‬‬ ‫להגשה עד ‪‬‬ ‫הנחיות כלליות‪:‬‬ ‫● "הספר" מתייחס ל‪ Benjamin C. Pierce, Types and Programmi

      Add to Reading List

      Source URL: www.cs.tau.ac.il

      - Date: 2016-12-11 16:38:38
        4Engineering Formal Metatheory Brian Aydemir Arthur Chargu´eraud Benjamin C. Pierce

        Engineering Formal Metatheory Brian Aydemir Arthur Chargu´eraud Benjamin C. Pierce

        Add to Reading List

        Source URL: www.cis.upenn.edu

        - Date: 2008-05-19 22:45:19
          5“Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce

          “Types are the leaven of computer programming: they make it digestible.” - R. Milner Types à la Milner Benjamin C. Pierce

          Add to Reading List

          Source URL: events.inf.ed.ac.uk

          - Date: 2012-10-10 03:52:06
            6Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service John Hughes∗† , Benjamin C. Pierce‡ , Thomas Arts∗ , Ulf Norell∗† , ∗ †

            Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service John Hughes∗† , Benjamin C. Pierce‡ , Thomas Arts∗ , Ulf Norell∗† , ∗ †

            Add to Reading List

            Source URL: www.cis.upenn.edu

            Language: English - Date: 2016-04-13 12:13:19
            7Local Type Inference Benjamin C. Pierce Computer Science Department Indiana University Lindley Hall 215

            Local Type Inference Benjamin C. Pierce Computer Science Department Indiana University Lindley Hall 215

            Add to Reading List

            Source URL: www.cis.upenn.edu

            Language: English - Date: 2005-04-09 15:30:23
              8Matching Lenses Davi M. J. Barbosa (Polytechnique) Julien Cretin (Polytechnique/INRIA) Nate Foster (Cornell) Michael Greenberg (Penn) Benjamin C. Pierce (Penn)

              Matching Lenses Davi M. J. Barbosa (Polytechnique) Julien Cretin (Polytechnique/INRIA) Nate Foster (Cornell) Michael Greenberg (Penn) Benjamin C. Pierce (Penn)

              Add to Reading List

              Source URL: gallium.inria.fr

              Language: English - Date: 2010-12-06 04:43:06
                9Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France)

                Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France)

                Add to Reading List

                Source URL: alan.petitepomme.net

                Language: English - Date: 2014-01-18 03:32:54
                10Exploiting Schemas in Data Synchronization J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt Abstract. Increased reliance on optimistic data replication has led to burgeon

                Exploiting Schemas in Data Synchronization J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt Abstract. Increased reliance on optimistic data replication has led to burgeon

                Add to Reading List

                Source URL: www.irisa.fr

                Language: English - Date: 2011-10-19 09:27:06