Hacker News
- ΜKanren: A Minimal Functional Core for Relational Programming (2013) [pdf] http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf 2 comments
Linking pages
- Hello, declarative world http://codon.com/hello-declarative-world 72 comments
- Unifying the Technical Interview https://aphyr.com/posts/354-unifying-the-technical-interview 47 comments
- GitHub - ashton314/muKanren_reading: [Mirror] A close reading of the μKanren paper. https://github.com/ashton314/muKanren_reading 44 comments
- Hello, declarative world https://tomstu.art/hello-declarative-world 23 comments
- Making a “MiniKanren” using Z3Py | Hey There Buddo! https://www.philipzucker.com/minikanren-z3py/ 5 comments
- Syntactic Unification Is Easy! https://blog.witchoflight.com/2020/syntactic-unification/ 5 comments
- Erik Derohanian - A Gentle Introduction to MicroKanren https://erik-j.de/microkanren/ 5 comments
- GitHub - ekzhang/ukanren-rs: Rust implementation of µKanren, a featherweight relational programming language. https://github.com/ekzhang/ukanren-rs 4 comments
- Hilbert's rusty hotel – The If Works https://blog.jcoglan.com/2019/11/22/hilberts-rusty-hotel/ 4 comments
- How I accidentally learned Prolog – The If Works https://blog.jcoglan.com/2017/12/31/how-i-accidentally-learned-prolog/ 1 comment
- Reasoned PHP https://igor.io/2014/08/06/reasoned-php.html 0 comments
- GitHub - mdiep/Logician: Logic programming in Swift https://github.com/mdiep/Logician 0 comments
- Building Canrun: A statically typed logic programming library for Rust https://esimmler.com/building-canrun-part-1/ 0 comments
- Everything Is a Ghetto: SICP Distilled Now Public http://www.thattommyhall.com/2015/09/06/sicp-distilled-now-public/ 0 comments
- Why Are Computers 2: This Increasingly Complicated World http://whyarecomputers.com/2 0 comments
- A short-list of short, grokkable, & influential CS papers | varchar(255) http://evanlh.com/posts/foundations/ 0 comments
- hasktrip/MicroKanren.md at master · seantalts/hasktrip · GitHub https://github.com/seantalts/hasktrip/blob/master/doc/MicroKanren.md 0 comments
Related searches:
Search whole site: site:webyrd.net
Search title: ΜKanren: A Minimal Functional Core for Relational Programming (2013) [pdf]
See how to search.