Jeremy Siek
Musing about programming languages and computer science.
Thursday, June 08, 2023
Help! We're Failing to Prove Correctness of Closure Conversion using Denotational Semantics (Graph Models)
›
Recall that closure conversion lowers lexically-scoped functions into a flat-closure representation, which pairs a function pointer with a t...
6 comments:
Tuesday, May 16, 2023
Gradual Guarantee via Step-indexed Logical Relations
›
{-# OPTIONS --rewriting #-} module LogRel.BlogGradualGuaranteeLogRel where open import Data.Empty using ( ⊥ ; ⊥-elim ...
›
Home
View web version