Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published June 1, 2023 | Version v4
Software Open

HasChor: Functional Choreographic Programming for All

Authors/Creators

  • Shen Gan1
  • Kashiwa Shun1
  • Kuper Lindsey1
  • 1. University of California, Santa Cruz

Description

Artifact for our ICFP 2023 paper.

Files

HasChor.artifact.zip

Files (2.9 GB)

Name Size Download all
HasChor.artifact.zip
md5:d7cdb6c5284fc4da779e62a98665cafc
2.9 GB Preview Download
source.zip
md5:ea10dc78678e22edbb87bedc5793ec24
45.6 kB Preview Download
394
Views
193
Downloads
Show more details
All versions This version
Views

Total views

394 223
Downloads

Total downloads

193 113
Data volume

Total data volume

332.5 GB 189.6 GB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.8161214
DOI Badge

DOI

10.5281/zenodo.8161214

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.8161214.svg)](https://doi.org/10.5281/zenodo.8161214)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.8161214.svg
  :target: https://doi.org/10.5281/zenodo.8161214

HTML

<a href="https://doi.org/10.5281/zenodo.8161214"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.8161214.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.5281/zenodo.8161214.svg

Target URL

https://doi.org/10.5281/zenodo.8161214
Resource type
Software
Publisher
Zenodo

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
July 18, 2023
Modified
July 19, 2023

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Help

  • FAQ
  • Docs
  • Guides
  • Support

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use
  • Support

This site uses cookies. Find out more on how we use cookies