wale

n 1: a raised mark on the skin (as produced by a blow) [syn: {welt},

{weal}, {wheal}]

2: a ridge of thick planking along the side of a wooden ship

[syn: {strake}]

TALE

Typed Applicative Language Experiment. M. van Leeuwen. Lazy,

purely applicative, polymorphic. Based on typed second order

lambda-calculus. "Functional Programming and the Language

TALE", H.P. Barendregt et al, in Current Trends in

Concurrency, LNCS 224, Springer 1986, pp.122-207.