Lobsters
- Extracting a Verified Interpreter from Isabelle/HOL https://concerningquality.com/semantics-extraction-isabelle/ 13 comments formalmethods , plt
Linked pages
- Oil Is Being Implemented "Middle Out" https://www.oilshell.org/blog/2022/03/middle-out.html 33 comments
- Semantic Domain: The Golden Age of PL Research https://semantic-domain.blogspot.com/2022/09/the-golden-age-of-pl-research.html 11 comments
- Types and Programming Languages http://www.cis.upenn.edu/~bcpierce/tapl/ 2 comments
- Isabelle https://isabelle.in.tum.de/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:concerningquality.com
Search title: Extracting a Verified Interpreter from Isabelle/HOL | Concerning Quality
See how to search.