r37980778c78--5b7a1da8e5e1378cb0b964967e97e6dd

A Gradual Dependently-typed Language

Tags
Data and Resources
To access the resources you must log in

This item has no data

Identity

Description: The Identity category includes attributes that support the identification of the resource.

Field Value
PID https://www.doi.org/10.5281/zenodo.3257080
URL https://figshare.com/articles/JoeyEremondi_GDTL-artifact_Zenodo_Artifact/9205907
URL http://dx.doi.org/10.5281/zenodo.3257080
Access Modality

Description: The Access Modality category includes attributes that report the modality of exploitation of the resource.

Field Value
Access Right Open Source
Publishing

Description: Attributes about the publishing venue (e.g. journal) and deposit location (e.g. repository)

Field Value
Collected From figshare
Hosted By figshare
Publication Date 2019-06-26
Additional Info
Field Value
Language UNKNOWN
Resource Type Software
system:type software
Management Info
Field Value
Source https://science-innovation-policy.openaire.eu/search/software?softwareId=r37980778c78::5b7a1da8e5e1378cb0b964967e97e6dd
Author jsonws_user
Last Updated 17 December 2020, 17:11 (CET)
Created 17 December 2020, 17:11 (CET)