Type Theory, Program Verification, Theorem Proving, Specification Languages
How Tripadvisor Delivers Real-Time Personalization at Scale with ML
hackernoon.comยท16h
Loading...Loading more...
Type Theory, Program Verification, Theorem Proving, Specification Languages