PL Theory

5 posts

Review: Formal verification of a realistic compiler

by Kyle Yan 2 months ago

Review: Reflections on Trusting Trust

by Kyle Yan 2 months ago

Review: Social Processes and Proofs of Programs

by Kyle Yan 2 months ago

Review: Use of Formal Methods at Amazon Web Services

by Kyle Yan 2 months ago

Fixed Point Theorem 不动点定理

by Kyle Yan 8 months ago

Load more

Please enter at least 3 characters

May we suggest a tag?

Notes Algorithm Leetcode Processing PL Theory Paper Review Game Review Graph CSS Web DP Stories Guide Fun Writing Math Game Design German Film Review Codeforces

May we suggest an author?