Benjamin Pierce

Results: 75



#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
      3Programming Languages Mentoring Workshop PLMW 2014 Amal Ahmed Benjamin Pierce

      Programming Languages Mentoring Workshop PLMW 2014 Amal Ahmed Benjamin Pierce

      Add to Reading List

      Source URL: plmw2014.inria.fr

      - Date: 2014-01-27 06:28:28
        4‫מושגים בשפות תכנות‬ ‫תרגיל ‪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
          5Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Benjamin Pierce Types and Programming Languages

          Lambda Calculus Oded Padon & Mooly Sagiv (original slides by Kathleen Fisher, John Mitchell, Shachar Itzhaky, S. Tanimoto ) Benjamin Pierce Types and Programming Languages

          Add to Reading List

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

          - Date: 2016-12-09 07:15:11
            6Engineering 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
              7“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
                8The Science of Deep Specification Andrew W. Appel, Benjamin Pierce, Stephanie Weirich, Steve Zdancewic, Zhong Shao, Adam Chlipala Princeton

                The Science of Deep Specification Andrew W. Appel, Benjamin Pierce, Stephanie Weirich, Steve Zdancewic, Zhong Shao, Adam Chlipala Princeton

                Add to Reading List

                Source URL: www.cis.upenn.edu

                - Date: 2016-05-11 15:48:19
                  9Mysteries of Dropbox Property-Based Testing of a Distributed Synchronization Service John Hughes, Benjamin Pierce, Thomas Arts, Ulf Norell

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

                  Add to Reading List

                  Source URL: www.cis.upenn.edu

                  Language: English - Date: 2016-04-13 12:13:18
                  10Mysteries 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