Quick search
Advanced search in
Field to searchTerm
Add rule
Download Results
4 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 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 . 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 . 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
  • software . 2019
    Open Source English
    Authors:
    Dahle, Sebastian;
    Publisher: Zenodo
    Project: EC | PlasmaSolution (745936)

    PlasmaSolution repository <p>** release 1.1.0 drafted on 28.08.2019</p> What's new <p>Plasma equipment added within two categories:</p> <ul> <li>High voltage power supplies</li> <li>Tools in which the plasma discharge is created</li> </ul>

    Add to ORCID
4 research outcomes, page 1 of 1