Zobrazeno 1 - 1
of 1
pro vyhledávání: '"counter-factual typing"'
Publikováno v:
Open Computer Science, Vol 9, Iss 1, Pp 1-32 (2019)
Dependently-typed programming languages provide a powerful tool for establishing code correctness. However, it can be hard for newcomers to learn how to employ the advanced type system of such languages effectively. For simply-typed languages, severa
Externí odkaz:
https://doaj.org/article/b0582fd9b43043fea4d56567b3c570da
