Kid

(redirected from kidding)
Also found in: Dictionary, Thesaurus, Medical, Legal, Idioms.
Related to kidding: Kidding Aside

Kid

Thomas. a variant spelling of (Thomas) Kyd

Kid

 

a leather manufactured primarily from the hides of sheep and goats; highly tensile and flexible, it is used for gloves, shoe upper leathers, and prostheses.

The hide is intensively softened by chemical processing and mechanical action in preparing kid leather. Aluminum compounds, which slightly fix the structure of the hide, are used in tanning. Wheat flour, to give the hide body and softness, and egg yolk, a lubricating material, are added to the solution. The leather may be dyed almost any color. Kid is not widely used in the USSR.

Kid

Kernel language for Id. A refinement of P-TAC, used as an intermediate language for Id. Lambda-calculus with first-class let-blocks and I-structures.

["A Syntactic Approach to Program Transformations", Z. Ariola et al, SIGPLAN Notices 26(9):116-129 (Sept 1991)].