Predstavenie autora Ranjit Jhala:

Doterajšie vydané knihy od Ranjit Jhala:

Typy spresnení: A Tutorial - Refinement Types: A Tutorial

Typy spresnenia môžu byť vektorom, ktorý prinesie formálnu verifikáciu do hlavného prúdu vývoja softvéru...