laarcnew | comments | discord | tags | ask | show | place | submitlogin
The Three Projections of Doctor Futamura (sigfpe.com)
by nickpsecurity to plt programming compilers 8 days ago | 1 comment





Got it from the Souffle project that mixes C++, Datalog, synthesis, and static analysis:

https://souffle-lang.github.io/

reply




Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: