In proceedings details

  • Dependent Information Flow Types
  • Jan 2015
  • ACM
  • Luísa Lourenço, Luis Caires
  • 0
  • https://dl.acm.org/citation.cfm?id=2676994
  • 0 to 0
  • 1 Jan 2015