Advanced programming language design in enterprise software: a lambda-calculus theorist wanders into a datacenter.

Chet Murthy

Browse the full POPL paper archive.