2 ms·
Somehow the final version of the paper is not linked from the blog post: https://www.microsoft.com/en-us/research/publication/specification-language-typed/ http
by joomy 1mo ago
Somehow the final version of the paper is not linked from the blog post: https://www.microsoft.com/en-us/research/publication/specification-language-typed/ https://www.microsoft.com/en-us/research/publication/specifi...