Robert Harper

Results: 56



#Item
1VPMIA OctChesterfield County Attendees: Robert Adkins, Bill Aldridge, Ron Bladen, Bane Compton, Bill Dupler, Richard Grace, Joe Gregory, Skip Harper, Charles Hudson, Wayne Kushner, J. Lee Lipscomb, Dennis Martin

VPMIA OctChesterfield County Attendees: Robert Adkins, Bill Aldridge, Ron Bladen, Bane Compton, Bill Dupler, Richard Grace, Joe Gregory, Skip Harper, Charles Hudson, Wayne Kushner, J. Lee Lipscomb, Dennis Martin

Add to Reading List

Source URL: vpmia.org

Language: English - Date: 2018-06-20 19:45:01
    2Two Kinds of Foundations Robert Harper Computer Science Department Carnegie Mellon University LFCS 30th Anniversary Celebration

    Two Kinds of Foundations Robert Harper Computer Science Department Carnegie Mellon University LFCS 30th Anniversary Celebration

    Add to Reading List

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

    Language: English
      3VPMIA OctChesterfield County Attendees: Robert Adkins, Bill Aldridge, Ron Bladen, Bane Compton, Bill Dupler, Richard Grace, Joe Gregory, Skip Harper, Charles Hudson, Wayne Kushner, J. Lee Lipscomb, Dennis Martin

      VPMIA OctChesterfield County Attendees: Robert Adkins, Bill Aldridge, Ron Bladen, Bane Compton, Bill Dupler, Richard Grace, Joe Gregory, Skip Harper, Charles Hudson, Wayne Kushner, J. Lee Lipscomb, Dennis Martin

      Add to Reading List

      Source URL: www.vpmia.org

      Language: English - Date: 2018-06-20 19:45:01
        4On the Unusual Effectiveness of Logic in Computer Science  Joseph Y. Halpern Robert Harper Neil Immerman

        On the Unusual Effectiveness of Logic in Computer Science  Joseph Y. Halpern Robert Harper Neil Immerman

        Add to Reading List

        Source URL: www.cs.upc.edu

        - Date: 2008-10-15 05:37:21
          5Computational Higher-Dimensional Type Theory Carlo Angiuli Robert Harper Todd Wilson

          Computational Higher-Dimensional Type Theory Carlo Angiuli Robert Harper Todd Wilson

          Add to Reading List

          Source URL: www.cs.cmu.edu

          - Date: 2016-12-19 12:07:36
            6J. Symbolic Computation, 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER

            J. Symbolic Computation, 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER

            Add to Reading List

            Source URL: www.cs.uoregon.edu

            - Date: 2010-06-25 18:00:46
              7Computational Higher Type Theory Robert Harper Computer Science Department Carnegie Mellon University HoTT Workshop 2016

              Computational Higher Type Theory Robert Harper Computer Science Department Carnegie Mellon University HoTT Workshop 2016

              Add to Reading List

              Source URL: www.cs.cmu.edu

              - Date: 2016-07-27 12:02:54
                8The Definition of Standard ML Robin Milner Mads Tofte Robert Harper Laboratory for Foundations of Computer Science Department of Computer Science

                The Definition of Standard ML Robin Milner Mads Tofte Robert Harper Laboratory for Foundations of Computer Science Department of Computer Science

                Add to Reading List

                Source URL: sml-family.org

                - Date: 2016-04-04 09:33:37
                  9DEFINING A LANGUAGE Robert Harper Friday, April 27, 12 ACKNOWLEDGEMENTS

                  DEFINING A LANGUAGE Robert Harper Friday, April 27, 12 ACKNOWLEDGEMENTS

                  Add to Reading List

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

                  - Date: 2012-10-10 03:52:01
                    10Commentary on Practical Foundations for Programming Languages (Second Edition) Robert Harper Carnegie Mellon University August 19, 2016

                    Commentary on Practical Foundations for Programming Languages (Second Edition) Robert Harper Carnegie Mellon University August 19, 2016

                    Add to Reading List

                    Source URL: www.cs.cmu.edu

                    - Date: 2016-08-22 11:32:05