gm-pepm-2018

Artifact for "On the Cost of Type-Tag Soundness"

Build status: ok passing tests missing license metadata

Documentation README Download
Authors
Documentation
Tags
License
    Last updatedWednesday, January 8th, 2025 5:30:36pm (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/nuprl/retic_performance.git?path=gm-pepm-20186581f1786efff8742916ace844d7fe8480cd70e3
    Last checkedThursday, December 4th, 2025 4:52:12am (UTC)
    Last editedWednesday, January 31st, 2018 11:04:01pm (UTC)
    Date addedN/A
    Modules
    • gm-pepm-2018/script/render.rkt
    • gm-pepm-2018/script/benchmark-info.rkt
    • gm-pepm-2018/src/PyPI-ranking/scrape-PyPI.rkt
    • gm-pepm-2018/nepls-2017/nepls.rkt
    • gm-pepm-2018/docs/reference.scrbl
    • gm-pepm-2018/evaluation.scrbl
    • gm-pepm-2018/gm-pepm-2018.scrbl
    • gm-pepm-2018/script/system.rkt
    • gm-pepm-2018/introduction.scrbl
    • gm-pepm-2018/bib.rkt
    • gm-pepm-2018/main.rkt
    • gm-pepm-2018/docs/gm-pepm-2018.scrbl
    • gm-pepm-2018/script/performance-info.rkt
    • gm-pepm-2018/threats.scrbl
    • gm-pepm-2018/conclusion.scrbl
    • gm-pepm-2018/lang/reader.rkt
    • gm-pepm-2018/script/sample.rkt
    • gm-pepm-2018/appendix.scrbl
    • gm-pepm-2018/script/util.rkt
    • gm-pepm-2018/docs/data.scrbl
    • gm-pepm-2018/method.scrbl
    • gm-pepm-2018/script/python.rkt
    • gm-pepm-2018/reticulated.scrbl
    • gm-pepm-2018/script/plot.rkt
    • gm-pepm-2018/nepls-2017/bib.rkt
    • gm-pepm-2018/script/config.rkt