Sign in

Lightweight linear types in system fdegree.

Karl MazurakJianzhou ZhaoSteve Zdancewic
Published in: TLDI (2010)
Keyphrases
  • lightweight
  • wireless sensor networks
  • mobile phone
  • rfid tags
  • dos attacks