method
active
method:hindley-milner-algorithmHindley-Milner algorithm
Algorithm for computing principal types of combinators/terms.
Neighborhood — ranked by edge-count
Papers (1)
paper
- Information, Processes and Gamesmentions
Related by similarity (8)
cosine ≥ 0.65 · no typed edgeEntities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.
- Used to align color embedding with CIELAB space by finding best rotation, translation, scaling, and flipping
- Algorithm developed for timing systems in neutron accelerators; generates binary sequences where pulses are distributed as evenly as possible among intervals.
- Algorithm used to calibrate per-latent threshold boost values for consistent first-attempt difficulty
- Originator of Process Algebra and the term 'Information Dynamics'; influential in shifting focus from syntax-driven semantics to autonomous study of informatic structures.
- Algorithm computing both equality relations separately before comparing them in hierarchical equality task
- Proposed algorithm using local PCA to classify a divergence vector as harmless or harmful via behavioral null-space testing
- Ancient algorithm from Euclid's Elements (circa 300 B.C.) that computes greatest common divisor; shown to structurally parallel Bjorklund's rhythm generation algorithm.
- Application of Next Closure to enumerate all concept extents of a formal context.