Taylor subsumes Scott, Berry, Kahn and Plotkin.

Wed, 01 Jan 2020 00:00:00 +0100

Davide Barbarossa , Giulio Manzonetto:
Taylor subsumes Scott, Berry, Kahn and Plotkin. Proc. ACM Program. Lang. 4(POPL): 1:1-1:23 (2020)