Search Results - Rouvoet, Arjen

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Intrinsically typed compilation with nameless labels

    Intrinsically typed compilation with nameless labels by Rouvoet, Arjen, Krebbers, Robbert, Visser, Eelco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Scopes as types

    Scopes as types by van Antwerpen, Hendrik, Bach Poulsen, Casper, Rouvoet, Arjen, Visser, Eelco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Intrinsically-typed definitional interpreters à la carte

    Intrinsically-typed definitional interpreters à la carte by van der Rest, Cas, Poulsen, Casper Bach, Rouvoet, Arjen, Visser, Eelco, Mosses, Peter

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Intrinsically-typed definitional interpreters for imperative languages

    Intrinsically-typed definitional interpreters for imperative languages by Bach Poulsen, Casper, Rouvoet, Arjen, Tolmach, Andrew, Krebbers, Robbert, Visser, Eelco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications

    Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications by Rouvoet, Arjen, van Antwerpen, Hendrik, Bach Poulsen, Casper, Krebbers, Robbert, Visser, Eelco

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: