Login / Signup

Type Classes for Lightweight Substructural Types.

Edward GanJesse A. TovGreg Morrisett
Published in: LINEARITY (2014)
Keyphrases
  • lightweight
  • multiple types
  • dos attacks
  • mobile devices
  • wireless sensor networks
  • propositional calculus