PL Theory

6 posts

Replicating the Thompson Hack

by Kyle Yan a month ago

Fun

Review: Formal verification of a realistic compiler

by Kyle Yan a year ago

Review: Reflections on Trusting Trust

by Kyle Yan a year ago

Review: Social Processes and Proofs of Programs

by Kyle Yan a year ago

Review: Use of Formal Methods at Amazon Web Services

by Kyle Yan a year ago

Fixed Point Theorem 不动点定理

by Kyle Yan a year ago

Load more

Your link has expired

Success! Check your email for magic link to sign-in.

Please enter at least 3 characters

May we suggest a tag?

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

May we suggest an author?