Almost Sure Central Limit Theorems for Heavily Trimmed Sums

We obtain an almost sure central limit theorem (ASCLT) for heavily trimmed sums. We also prove a function-typed ASCLT under the same conditions that assure measurable functions to satisfy the ASCLT for the partial sums of i.i.d. random variables with EX1=0,EX21=1.