List Question
20 TechQA 2024-03-14T17:55:50.813000How can I map discriminated unions to concrete types (like classes) via a factory function in Typescript?
40 views
Asked by Philipp Mildenberger
All partial unification algorithms failed on implicit conversion from functions - How to improve in Scala?
66 views
Asked by tribbloid
Unification when multiple copies of a formula are needed
21 views
Asked by Salman
What's the role of unification in Coq's core type system?
122 views
Asked by yiyuan-cao
Can Prolog-like unification be expressed in a point free way?
175 views
Asked by Cs_J
Unification of types
124 views
Asked by Andri
Coq: Unification fails with record
61 views
Asked by pjm
Why doesn't X-0 match with 20?
34 views
Asked by matti1499
SWI-Prolog predicates member and nth1 without unification?
96 views
Asked by Martin Kunze
Why does introducing numbero in minikanren cause the failure of valid unifications?
83 views
Asked by jpt4
Is there a non-unifying alternative to member/2 in SWI-Prolog?
79 views
Asked by Vorpal
How does unification algorithm actually work?
241 views
Asked by Alex
Example of the undecidability of higher-order unification
101 views
Asked by nikkkk
Can the unification algorithm in Prolog recurse infinitely?
237 views
Asked by Kim Mens
Why can I pass partially applied type constructors only in type parameter position?
118 views
Asked by AudioBubble
Prolog - Unification of complex terms
144 views
Asked by Alex
How to construct values of a higher-rank Coyoneda type in CPS?
87 views
Asked by AudioBubble
Can clojure inspired transducers be typed with the HM type system?
233 views
Asked by AudioBubble
What is \= in Swi-Prolog
513 views
Asked by Hingusan