Login / Signup

Towards patterns for heaps and imperative lambdas.

David A. Naumann
Published in: J. Log. Algebraic Methods Program. (2016)
Keyphrases