Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes (2015)
Attributed to:
A higher-order approach to codesign - 27659
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=5426
Type: Conference/Paper/Proceeding/Abstract
Volume: 41