Kid

(redirected from kidding around)
Also found in: Dictionary, Thesaurus, Medical.

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)].
References in periodicals archive ?
And the resort's Kinder Kamp and Kidding Around programs offer activities designed especially for children ages 3-6 and 7-12.
Chicvara said the idea came to him while kidding around with his college-age kids and their friends, who morphed the words "governor" and "terminator" into "governator.
And with its renewed commitment to tenant-friendly programs, the ITC team is certainly not kidding around about achieving 100 percent leased status.
There was plenty of kidding around at Gateshead's Bill Quay Farm yesterday as the Centre for the Children's Book arrived with its travelling "book playground".