Functions-as-constructors Higher-order Unification
From MaRDI portal
Recommendations
- Functions-as-constructors higher-order unification: extended pattern unification
- Higher-order unification with dependent function types
- scientific article; zbMATH DE number 19496
- scientific article; zbMATH DE number 1722656
- Inductively defined functions in functional programming languages
- Functional programming with higher-order abstract syntax and explicit substitutions
- scientific article; zbMATH DE number 1375587
- Embedding an interpreted language using higher-order functions and types
- scientific article; zbMATH DE number 1487857
- A Lambda-Calculus with Constructors
Cited in
(11)- Functions-as-constructors higher-order unification: extended pattern unification
- Restricted combinatory unification
- scientific article; zbMATH DE number 1927411 (Why is no real title available?)
- Nominal unification with atom and context variables
- Efficient full higher-order unification
- Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding
- A Generic Framework for Higher-Order Generalizations.
- How to prove decidability of equational theories with second-order computation analyser SOL
- Implementing type theory in higher order constraint logic programming
- The new rewriting engine of dedukti (system description)
- Efficient full higher-order unification
Describes a project that uses
Uses Software
This page was built for publication: Functions-as-constructors Higher-order Unification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5369491)
