Conference paper Open Access

Knowing When to Ask: Sound scheduling of name resolution in type checkers derived from declarative specifications (Extended Version)

Rouvoet, Arjen; van Antwerpen, Hendrik; Bach Poulsen, Casper; Krebbers, Robbert; Visser, Eelco


BibTeX Export

@proceedings{rouvoet_arjen_2020_4091445,
  title        = {{Knowing When to Ask: Sound scheduling of name 
                   resolution in type checkers derived from
                   declarative specifications (Extended Version)}},
  year         = 2020,
  publisher    = {Zenodo},
  month        = oct,
  doi          = {10.5281/zenodo.4091445},
  url          = {https://doi.org/10.5281/zenodo.4091445}
}
63
47
views
downloads
All versions This version
Views 6363
Downloads 4747
Data volume 37.9 MB37.9 MB
Unique views 5050
Unique downloads 3737

Share

Cite as