minium

n : a reddish oxide of lead (Pb3O4) used as a pigment in paints

and in glass and ceramics [syn: {red lead}]

Mini-ML

["A Simple Applicative Language: Mini-ML", D. Clement et al,

Proc 1986 ACM Conf on LISP and Functional Prog, (Aug 1986)].