Search Results - Materzok, Marek

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Generating circuits with generators

    Generating circuits with generators by Materzok, Marek

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Proving termination of evaluation for System F with control operators

    Proving termination of evaluation for System F with control operators by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Materzok, Marek

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Subtyping Delimited Continuations

    Subtyping Delimited Continuations by MATERZOK, Marek, BIERNACKI, Dariusz

    Published in ACM SIGPLAN notices
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Easyprove: a tool for teaching precise reasoning

    Easyprove: a tool for teaching precise reasoning by Materzok, Marek

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Proving termination of evaluation for System F with control operators

    Proving termination of evaluation for System F with control operators by Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Materzok, Marek

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: