Login / Signup
Type Classes for Lightweight Substructural Types.
Edward Gan
Jesse A. Tov
Greg Morrisett
Published in:
LINEARITY (2014)
Keyphrases
</>
lightweight
multiple types
dos attacks
mobile devices
wireless sensor networks
propositional calculus