PL Theory

5 posts

Review: Formal verification of a realistic compiler

by Kyle Yan 8 months ago

Review: Reflections on Trusting Trust

by Kyle Yan 8 months ago

Review: Social Processes and Proofs of Programs

by Kyle Yan 8 months ago

Review: Use of Formal Methods at Amazon Web Services

by Kyle Yan 8 months ago

Fixed Point Theorem 不动点定理

by Kyle Yan a year 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 Graphics German Film Review

May we suggest an author?