Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
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
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.
