Gae Blog

Senior Software Engineer at Vanta

Cost Semantics for Parallelism

January 22, 2019 1 minute read

Cost semantics is to discuss: How long do programs run (abstractly)?

January 21, 2019 6 minute read

Haskell is a dialect Algol!

January 20, 2019 2 minute read

Recap for Product/Sum Types

January 20, 2019 less than 1 minute read

Updates

January 18, 2019 2 minute read

Partial Functions

September 30, 2018 2 minute read

Hereditary Termination and Logical Equivalence Recap