Abstract: This paper proposes a high-level language constituted of a small number of primitives and macros for describing recursive maximum likelihood (ML) estimation algorithms. This language is ...