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


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
66
49
views
downloads
All versions This version
Views 6666
Downloads 4949
Data volume 39.5 MB39.5 MB
Unique views 5252
Unique downloads 3939

Share

Cite as