Dependent Type Systems as Macros
Tags
Data and Resources
To access the resources you must log in
This item has no data
Item URL
http://data.d4science.org/ctlg/RISIS2OpenData/dedup_wf_001--5dfc8e73e29d1765dcf037d9290e3608 |
|
Identity
Access Modality
Field | Value |
---|---|
Access Right | Open Source |
Attribution
Field | Value |
---|---|
Author | Chang, Stephen |
Author | Ballantyne, Michael |
Author | Turner, Milo |
Author | Bowman, William |
Contributor | National Science Foundation |
Publishing
Field | Value |
---|---|
Collected From | Zenodo; figshare; Datacite |
Hosted By | Zenodo; figshare |
Publication Date | 2019-11-15 |
Publisher | Figshare |
Additional Info
Field | Value |
---|---|
Language | UNKNOWN |
Resource Type | Software |
keyword | programming languages, type systems, macros, racket, proof assistants, dependent types |
system:type | software |
Management Info
Field | Value |
---|---|
Source | https://science-innovation-policy.openaire.eu/search/software?softwareId=dedup_wf_001::5dfc8e73e29d1765dcf037d9290e3608 |
Author | jsonws_user |
Last Updated | 17 December 2020, 23:07 (CET) |
Created | 17 December 2020, 23:07 (CET) |