unification

24 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
How does one access the dependent type unification algorithm from Coq's internals -- especially the one from apply and the substitution solution?
user_16015800
•
2
1
253
unification coq
Is there a non-unifying alternative to member/2 in SWI-Prolog?
user_119390430
•
2
1
48
unification prolog
Can the unification algorithm in Prolog recurse infinitely?
user_133399550
•
3
2
142
unification infinite swi-prolog prolog recursion
Why can I pass partially applied type constructors only in type parameter position?
user_55363150
•
4
1
86
unification higher-order-types higher-kinded-types haskell
How to construct values of a higher-rank Coyoneda type in CPS?
user_55363150
•
4
2
76
unification higher-rank-types haskell
Can clojure inspired transducers be typed with the HM type system?
user_55363150
•
2
1
196
transducer unification language-agnostic functional-programming javascript
Prolog - How can I return a list where each element appears only once?
user_28985860
•
2
2
133
unification prolog logic list
How to reproduce GHC's type error for a rigid type variable escaping its scope?
user_55363150
•
2
1
100
unification higher-rank-types type-systems haskell
Is single sided unification sufficient for Datalog?
Admin1
•
1
1
59
unification datalog prolog
How does instantiation of higher-rank types and subsumption interact during unification?
user_55363150
•
5
1
93
unification higher-rank-types polymorphism functional-programming haskell
Hot Questions