Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Wingen, Isabel"'
Autor:
Wingen, Isabel, Körner, Philipp
Benefits of static type systems are well-known: they offer guarantees that no type error will occur during runtime and, inherently, inferred types serve as documentation on how functions are called. On the other hand, many type systems have to limit
Externí odkaz:
http://arxiv.org/abs/2008.12545
