Hacker News
Linking pages
- Bound - School of Haskell | School of Haskell https://www.schoolofhaskell.com/user/edwardk/bound 10 comments
- Opaque and Transparent Interpreters - Underscore http://underscore.io/blog/posts/2016/06/27/opaque-transparent-interpreters.html 4 comments
- GitHub - LPCIC/coq-elpi: Coq plugin embedding elpi https://github.com/LPCIC/coq-elpi 1 comment
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Higher-order abstract syntax - Wikipedia
See how to search.