Prezentacja autora Ranjit Jhala:

Dotychczas wydane książki Ranjit Jhala:

Typy udoskonaleń: Samouczek - Refinement Types: A Tutorial

Typy rafinacji mogą być wektorem, który wprowadza formalną weryfikację do głównego nurtu rozwoju...