Theory
Background and theory for Cue:
A bit of history
Links & references
- https://github.com/cue-lang/cue/blob/master/doc/ref/impl.md
- LinGo
- LKB
- http://courses.washington.edu/ling567/
- Quasi-Destructive Graph Unification
Background and theory for Cue: