Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Zwaan, Aron"'
Autor:
Zwaan, Aron, Poulsen, Casper Bach
Many programming languages allow programmers to regulate accessibility; i.e., annotating a declaration with keywords such as export and private to indicate where it can be accessed. Despite the importance of name accessibility for, e.g., compilers, e
Externí odkaz:
http://arxiv.org/abs/2407.09320
Autor:
Zwaan, Aron
To warrant programmer productivity, type checker results should be correct and available quickly. Correctness can be provided when a type checker implementation corresponds to a declarative type system specification. Statix is a type system specifica
Externí odkaz:
http://arxiv.org/abs/2210.06121