Download Results
3 research outcomes, page 1 of 1
  • software . 2020
    Open Source English
    Authors:
    Ahman, Danel; Pretnar, Matija;
    Publisher: Zenodo
    Project: EC | LiquidEff (834146)

    <p>This is a software artefact for the POPL 2021 submission &quot;Asynchronous effects&quot;.</p> <p>The artefact comprises:</p> <ul> <li>an Agda formalisation of the core calculus presented in the POPL submission;</li> <li>a prototype implementation of the core calculu...

    Add to ORCID
  • software . 2020
    Open Source English
    Authors:
    Ahman, Danel; Pretnar, Matija;
    Publisher: Zenodo
    Project: EC | LiquidEff (834146)

    <p>This is a software artefact for the POPL 2021 paper:</p> <p>Danel Ahman and Matija Pretnar. 2021. Asynchronous Effects.<br> <em>Proc. ACM Program. Lang.</em> 5, POPL, Article 24 (January 2021), 28 pages.</p> <p>This software artefact comprises:</p> <ul> <li>an Agda f...

    Add to ORCID
  • software . 2021
    Open Source
    Authors:
    Guilhem Poy;
    Persistent Identifiers
    Publisher: Zenodo
    Project: EC | OPTOSOL (834256)

    <p><strong><code>Nemaktis</code></strong> is an open-source platform including tools for propagating and visualizing optical field in complex birefringent media such as liquid crystal (LC) layers. It includes three backends implementing advanced numerical methods for li...

    Add to ORCID
3 research outcomes, page 1 of 1