A formal standard for the type system, execution model, and evaluation mechanism of Prog 1.0.
Log in to post a comment.