Blain

Results: 111



#Item
31Jumping Semantics For Call-By-Push-Value Paul Blain Levy University of Birmingham Abstract. We give a jumping machine for a higher-order language, embodying the intuition that calling a procedure is a jump, and returning

Jumping Semantics For Call-By-Push-Value Paul Blain Levy University of Birmingham Abstract. We give a jumping machine for a higher-order language, embodying the intuition that calling a procedure is a jump, and returning

Add to Reading List

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

Language: English - Date: 2007-05-03 10:47:16
    32MFPSGlobal State Considered Helpful Paul Blain Levy 1

    MFPSGlobal State Considered Helpful Paul Blain Levy 1

    Add to Reading List

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

    Language: English - Date: 2008-06-30 15:25:55
    33Some parametricity isomorphisms Paul Blain Levy September 16, 2010 1

    Some parametricity isomorphisms Paul Blain Levy September 16, 2010 1

    Add to Reading List

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

    Language: English - Date: 2010-09-16 16:40:23
    34Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy

    Typed Normal Form Bisimulation for Parametric Polymorphism Soren B. Lassen Google, Inc. Paul Blain Levy

    Add to Reading List

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

    Language: English - Date: 2008-07-15 06:16:32
    35Edition: 356 June 5, Blain Street, Alice Springs, 0870 Phone: (Fax: (

    Edition: 356 June 5, Blain Street, Alice Springs, 0870 Phone: (Fax: (

    Add to Reading List

    Source URL: www.territorystories.nt.gov.au

    Language: English - Date: 2014-09-22 02:16:18
    36Raven Science Cases Célia Blain and Raven Team Subaru Telescope Seminar, Feb 5th 2014

    Raven Science Cases Célia Blain and Raven Team Subaru Telescope Seminar, Feb 5th 2014

    Add to Reading List

    Source URL: www.subarutelescope.org

    Language: English - Date: 2014-02-05 20:14:03
    37Generational Leadership Listening Sessions The Building Movement Project Frances Kunreuther Ludovic Blain Kim Fellner

    Generational Leadership Listening Sessions The Building Movement Project Frances Kunreuther Ludovic Blain Kim Fellner

    Add to Reading List

    Source URL: www.buildingmovement.org

    Language: English - Date: 2013-02-25 20:14:09
    38Raven a scientific and technical Multi-Object Adaptive Optics (MOAO) demonstrator Olivier Lardière, Célia Blain, Colin Bradley, Reston Nash, Darryl Gamroth, Kate Jackson, Dave Andersen, Shin Oya, Yoshito Ono,

    Raven a scientific and technical Multi-Object Adaptive Optics (MOAO) demonstrator Olivier Lardière, Célia Blain, Colin Bradley, Reston Nash, Darryl Gamroth, Kate Jackson, Dave Andersen, Shin Oya, Yoshito Ono,

    Add to Reading List

    Source URL: www.subarutelescope.org

    Language: English - Date: 2014-02-05 20:13:49
    39Names of Middle-earth Colin Chapman Text in Blue Denotes New Content Dwarf Names Male Dwarf Names: Anar, Balin, Beli, Bifur, Bláin, Bofur, Bombur, Borin,

    Names of Middle-earth Colin Chapman Text in Blue Denotes New Content Dwarf Names Male Dwarf Names: Anar, Balin, Beli, Bifur, Bláin, Bofur, Bombur, Borin,

    Add to Reading List

    Source URL: www.darkshire.net

    Language: English - Date: 2009-05-06 16:40:55
    40ENHANCEMENTS TO A DIGITAL LIBRARY WEB PORTAL FOR OCEAN AND CLIMATE DATA Peter Blain)

    ENHANCEMENTS TO A DIGITAL LIBRARY WEB PORTAL FOR OCEAN AND CLIMATE DATA Peter Blain)

    Add to Reading List

    Source URL: www.oceanobs09.net

    Language: English - Date: 2011-08-03 13:30:41