Hearn

Results: 304



#Item
21Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London

Local Action and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

- Date: 2014-03-02 08:51:30
    22Corda: A distributed ledger Mike Hearn November 29, 2016 Version 0.5 Abstract

    Corda: A distributed ledger Mike Hearn November 29, 2016 Version 0.5 Abstract

    Add to Reading List

    Source URL: docs.corda.net

    - Date: 2016-12-20 08:36:34
      23Linear Continuation-Passing ∗ Josh Berdine and Peter O’Hearn ( {berdine, ohearn}@dcs.qmul.ac.uk) Department of Computer Science, Queen Mary, University of London, London E1 4NS, United Kingdom

      Linear Continuation-Passing ∗ Josh Berdine and Peter O’Hearn ( {berdine, ohearn}@dcs.qmul.ac.uk) Department of Computer Science, Queen Mary, University of London, London E1 4NS, United Kingdom

      Add to Reading List

      Source URL: www.cs.bham.ac.uk

      - Date: 2002-08-05 10:38:10
        24BI as an Assertion Language for Mutable Data Structures Samin Ishtiaq Peter W. O’Hearn Queen Mary & Westfield College, London

        BI as an Assertion Language for Mutable Data Structures Samin Ishtiaq Peter W. O’Hearn Queen Mary & Westfield College, London

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        - Date: 2015-05-26 06:01:52
          25Corda: An Introduction Richard Gendal Brown, James Carlyle, Ian Grigg, Mike Hearn August, 2016 Abstract A distributed ledger made up of mutually distrusting nodes would allow for a single global database that records the

          Corda: An Introduction Richard Gendal Brown, James Carlyle, Ian Grigg, Mike Hearn August, 2016 Abstract A distributed ledger made up of mutually distrusting nodes would allow for a single global database that records the

          Add to Reading List

          Source URL: docs.corda.net

          - Date: 2016-12-15 11:24:42
            26Arkansas Genealogical Society AGS Ezine Volume 3, No. 11, November 2008 Desmond Walls Allen and Lynda Childers Suffridge, editors Jan Hearn Davenport, list manager

            Arkansas Genealogical Society AGS Ezine Volume 3, No. 11, November 2008 Desmond Walls Allen and Lynda Childers Suffridge, editors Jan Hearn Davenport, list manager

            Add to Reading List

            Source URL: www.agsgenealogy.org

            - Date: 2014-02-26 14:33:03
              27Conceptualizing Third Spaces in University Sponsored Alternate Route Teacher Education Programs: Creating Coherence Across Disparate Partnering Organizations Kendra Hearn and Kiel McQueen University of Michigan

              Conceptualizing Third Spaces in University Sponsored Alternate Route Teacher Education Programs: Creating Coherence Across Disparate Partnering Organizations Kendra Hearn and Kiel McQueen University of Michigan

              Add to Reading List

              Source URL: www.teachingworks.org

              - Date: 2016-06-30 10:19:20
                28Rosetta Status Mike A’Hearn Background • Since asteroid flybys (in 2009 andESA’s

                Rosetta Status Mike A’Hearn Background • Since asteroid flybys (in 2009 andESA’s

                Add to Reading List

                Source URL: ppi.pds.nasa.gov

                - Date: 2016-02-05 18:19:48
                  29Arkansas Genealogical Society AGS Ezine Volume 4, No. 8, August 2009 Desmond Walls Allen and Lynda Childers Suffridge, editors Jan Hearn Davenport, list manager

                  Arkansas Genealogical Society AGS Ezine Volume 4, No. 8, August 2009 Desmond Walls Allen and Lynda Childers Suffridge, editors Jan Hearn Davenport, list manager

                  Add to Reading List

                  Source URL: www.agsgenealogy.org

                  - Date: 2014-02-26 14:33:27
                    30Arkansas Genealogical Society AGS Ezine Volume 4, No. 1, January 2009 Desmond Walls Allen and Lynda Childers Suffridge, editors Jan Hearn Davenport, list manager

                    Arkansas Genealogical Society AGS Ezine Volume 4, No. 1, January 2009 Desmond Walls Allen and Lynda Childers Suffridge, editors Jan Hearn Davenport, list manager

                    Add to Reading List

                    Source URL: www.agsgenealogy.org

                    - Date: 2014-02-26 14:33:08