Author popped up in the HN comments to say his previous book Programming Languages: Application and Interpretation “is almost completely subsumed into PAPL”.