A Tiny Constrain Functional Logic Language and Its Continuation Semantics
No abstract available.
Related papers
- Compiling KB-sized machine learning models to tiny IoT devices PLDI 2019
- Constraining Control POPL 1985
- Classical Logic, Continuation Semantics and Abstract Machines JFP 1998
- Fixpoint games on continuous lattices POPL 2019
- Constraining-Unification and the Programming Language Unicorn POPL 1984
- Shiftry: RNN inference in 2KB of RAM OOPSLA 2020
- Extending nuXmv with Timed Transition Systems and Timed Temporal Properties CAV 2019
- Learning nonlinear loop invariants with gated continuous logic networks PLDI 2020