{"size": 239, "ext": "scrbl", "max_stars_repo_path": "papers/popl2020cbtb.scrbl", "max_stars_repo_name": "racket-papers/racket-papers.github.io", "max_stars_repo_stars_event_min_datetime": "2021-03-08T05:48:24.000Z", "max_stars_repo_stars_event_max_datetime": "2021-03-08T05:48:24.000Z", "max_issues_repo_path": "papers/popl2020cbtb.scrbl", "max_issues_repo_name": "racket-papers/racket-papers.github.io", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "papers/popl2020cbtb.scrbl", "max_forks_repo_name": "racket-papers/racket-papers.github.io", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": 1, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 23.9, "max_line_length": 58, "alphanum_fraction": 0.7364016736}
#lang at-exp s-exp "bib.rkt"
@title{Dependent Type Systems as Macros}
@author{Chang, Ballantyne, Turner, Bowman}
@date{2020}
@location{POPL}
@url{https://www2.ccs.neu.edu/racket/pubs/popl20-cbtb.pdf}
@category{paper}
@note{PLT-TR-2010-1}

