Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Eremondi, Joseph S."'
Autor:
Eremondi, Joseph S.
Dependently typed programming languages provide a way to write programs, specifications, and correctness proofs using a single language. If a dependent type checker accepts a program, the programmer can be assured that it behaves according to the spe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::47873e2e421db6669ec626621c26a18a
