1

Monitor brackets

kbbgceuaekftjs
This paper introduces Hypersequent GV (HGV). a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom. confluence. and strong normalisation. https://foldlyers.shop/product-category/monitor-brackets/
Report this page

Comments

    HTML is allowed

Who Upvoted this Story