Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published August 27, 2024 | Version v2
Software Open

Merging Gradual Typing (Artifact)

Creators

  • Ye, Wenjia1
  • Oliveira, Bruno C. d. S. (Editor)1
  • Toro, Matías (Editor)2
  • 1. ROR icon University of Hong Kong
  • 2. ROR icon University of Chile

Description

This is the artifact of OOPSLA research paper: Merging Gradual Typing.

Files

paper-296.zip

Files (44.0 MB)

Name Size Download all
paper-296.zip
md5:dd39059c16e1173b316260ea5f2000c9
44.0 MB Preview Download
161
Views
27
Downloads
Show more details
All versions This version
Views

Total views

161 145
Downloads

Total downloads

27 21
Data volume

Total data volume

1.2 GB 923.0 MB

More info on how stats are collected....

Versions

External resources

Indexed in

  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.13378311
DOI Badge

DOI

10.5281/zenodo.13378311

Markdown

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

reStructuredText

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

HTML

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

Image URL

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

Target URL

https://doi.org/10.5281/zenodo.13378311
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
August 27, 2024
Modified
August 27, 2024

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