Login
From:
Posts on Daniel's Blog
(Uncensored)
subscribe
Implementing and Verifying "Static Program Analysis" in Agda, Part 5: Our Programming Language
https://danilafe.com/blog/05_spa_agda_semantics/
links
backlinks
Roast topics
Find topics
Find it!
In the previous several posts, I’ve formalized the notion of lattices, which are an essential ingredient to formalizing the analyses in Anders Møller’s lecture notes.
