Martin Elsman

Search results

• futhark-oopsla24

  Schenck, R. (Creator), Hinnerskov, N. H. (Creator), Henriksen, T. (Creator), Madsen, M. (Creator) & Elsman, M. (Creator), Zenodo, 18 Jul 2024

  DOI: 10.5281/zenodo.12775308, https://zenodo.org/records/12775308

  Dataset

• Artifact for the paper Parallelism in a Region Inference Context (PLDI 2023)

  Elsman, M. (Creator) & Henriksen, T. (Creator), Zenodo, 2023

  DOI: 10.5281/zenodo.7810545, https://zenodo.org/records/7810545

  Dataset

• Artifact for the PLDI 2023 paper Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

  Elsman, M. (Creator), Zenodo, 2023

  DOI: 10.5281/zenodo.7803910, https://zenodo.org/record/7803910

  Dataset

• futhark-oopsla24

  Schenck, R. (Creator), Hinnerskov, N. H. (Creator), Henriksen, T. (Creator), Madsen, M. (Creator) & Elsman, M. (Creator), Zenodo, 4 Jul 2024

  DOI: 10.5281/zenodo.12659458, https://zenodo.org/records/12659458

  Dataset

• Artifact for the paper Parallelism in a Region Inference Context (PLDI 2023)

  Elsman, M. (Creator) & Henriksen, T. (Creator), Zenodo, 2023

  DOI: 10.5281/zenodo.7802891, https://zenodo.org/record/7802891

  Dataset

• futhark-oopsla24

  Schenck, R. (Creator), Hinnerskov, N. H. (Creator), Henriksen, T. (Creator), Madsen, M. (Creator) & Elsman, M. (Creator), Zenodo, 6 Jul 2024

  DOI: 10.5281/zenodo.12671598, https://zenodo.org/records/12671598

  Dataset