Administrative normal form is a program intermediate representation in which each immediate instruction has a name. It is used in GHC and OCaml.
K-normalized form is an intermediate representation in which each instruction consists of one assignment and operation. It's used in MLKit, Min-Caml, and GoCaml.
Both A-normalization and K-normalization involve generating a let expression with a continuation.
A-normalization and K-normalization seem to be exactly the same transformation. What is the difference between them such that they deserve different names?