A Mathematical Approach to Language Design.

George T. Ligler

Browse the full POPL paper archive.