Kid

(redirected from Kides)
Also found in: Dictionary, Thesaurus, Medical, Idioms.

Kid

Thomas. a variant spelling of (Thomas) Kyd
Collins Discovery Encyclopedia, 1st edition © HarperCollins Publishers 2005
The following article is from The Great Soviet Encyclopedia (1979). It might be outdated or ideologically biased.

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.

The Great Soviet Encyclopedia, 3rd Edition (1970-1979). © 2010 The Gale Group, Inc. All rights reserved.

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)].
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)