Text this: Implementation and application of functional languages (vol. # 4015) :