Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in unification
Bottom up Hindley-Milner type inference: Applying a substitution to an implicit constraint
Sep 18, 2025
functional-programming
type-inference
unification
hindley-milner
prolog unification resolution
Mar 03, 2023
prolog
resolution
exponentiation
unification
Type Parameter Unification
Mar 02, 2023
c#
generics
unification
Properly working with sets in Prolog
Feb 08, 2023
list
prolog
set
unification
How can Prolog derive nonsense results such as 3 < 2?
Dec 25, 2022
prolog
unification
occurs-check
Why can I pass partially applied type constructors only in type parameter position?
Dec 25, 2022
haskell
higher-kinded-types
unification
higher-order-types
Feature structure unification in minikanren
Nov 09, 2022
scheme
racket
unification
minikanren
How does instantiation of higher-rank types and subsumption interact during unification?
Oct 28, 2022
haskell
functional-programming
polymorphism
unification
higher-rank-types
In a Warren's Abstract Machine, how does bind work, if one of the arguments is a register?
Dec 10, 2019
prolog
unification
warren-abstract-machine
How to construct values of a higher-rank Coyoneda type in CPS?
Apr 17, 2022
haskell
unification
higher-rank-types
is_list/1 and free variables
Apr 10, 2022
list
prolog
unification
logical-purity
Deleting all members of a list without unification in Prolog [duplicate]
May 12, 2021
list
prolog
unification
prolog-dif
Finding algorithm to seek argument to satisfy given function's return
Jul 13, 2022
algorithm
f#
functional-programming
prolog
unification
What is a unification algorithm?
Oct 21, 2022
algorithm
f#
functional-programming
prolog
unification
Prolog: Is f(X) = X unifiable or not?
Aug 30, 2019
prolog
unification
Extending unification, SICStus-style
Sep 13, 2022
prolog
unification
sicstus-prolog
Can't deduce f = f₁ from f x = f₁ y?
Sep 29, 2021
haskell
typechecking
gadt
unification
GHC rejects ST monad code as unable to unify type variables?
Mar 24, 2019
variables
haskell
types
ghc
unification
`coerce` and instantiation of type variables
Jan 05, 2021
haskell
unification
coerce
Generating run time proofs with type predicates in Idris
Oct 01, 2020
parsing
unification
idris
decidable
Older Entries »