1A collection of resources about normalization-by-evaluation (opens in new tab)(github.com)3etiams8mo ago0
3Show HN: A collection of resources about supercompilation (opens in new tab)(github.com)5etiams9mo ago0
4Verifiably Correct Lifting of Position-Independent x86-64 Binaries (2024) (opens in new tab)(dl.acm.org)34etiams9mo ago6
