software . 2020

Knowing When to Ask: Artifact

Rouvoet, Arjen; Antwerpen, Hendrik Van; Poulsen, Casper Bach; Krebbers, Robbert; Visser, Eelco;
Open Source
  • Published: 06 Oct 2020
  • Publisher: Zenodo
Abstract
<p>There is a large gap between the specification of type systems and the<br> implementation of their type checkers, which impedes reasoning about the<br> soundness of the type checker with respect to the specification.&nbsp; A vision to<br> close this gap is to automatically obtain type checkers from declarative<br> programming language specifications.&nbsp; This moves the burden of proving<br> correctness from a case-by-case basis for concrete languages, to a single<br> correctness proof for the specification language.</p> <p>This vision is obstructed by an aspect common to all programming languages: name<br> resolution.&nbsp; Naming and scoping are pervasive ...
Subjects
free text keywords: Statix, Haskell
Download fromView all 3 versions
Zenodo
Software . 2020
Provider: Datacite
Zenodo
Software . 2020
Provider: Datacite
Zenodo
Software . 2020
Provider: Zenodo
Any information missing or wrong?Report an Issue