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}
}
202
138
views
downloads
All versions This version
Views 202202
Downloads 138138
Data volume 111.3 MB111.3 MB
Unique views 183183
Unique downloads 120120
More info on how stats are collected.
Indexed in
Publication date:
October 15, 2020
DOI:
10.5281/zenodo.4091445

Zenodo DOI Badge

DOI 

10.5281/zenodo.4091445

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4091445.svg)](https://doi.org/10.5281/zenodo.4091445)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4091445.svg
   :target: https://doi.org/10.5281/zenodo.4091445

HTML 

<a href="https://doi.org/10.5281/zenodo.4091445"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4091445.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4091445.svg

Target URL 

https://doi.org/10.5281/zenodo.4091445

Keyword(s):
Statix, Constraint and Logic Programming, Type Systems, Specification
Related identifiers:
Supplement to
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1.0.0 10.5281/zenodo.4091445 Oct 15, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4091444. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export