Ownership Analysis, Lifetime Inference, Borrow Checker, Memory Safety
xmake-io/xmake
github.comยท18h
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.orgยท16h
What is Algebraic about Algebraic Effects?
interjectedfuture.comยท4h
Loading...Loading more...