method
active
method:hindley-milner-algorithm

Hindley-Milner algorithm

Algorithm for computing principal types of combinators/terms.

Neighborhood — ranked by edge-count

Papers (1)

paper

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities 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
  • Robin Milnerconcept0.713
    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.