Login / Signup

The impact of higher-order state and control effects on local relational reasoning.

Derek DreyerGeorg NeisLars Birkedal
Published in: J. Funct. Program. (2012)
Keyphrases