Types for cyphers: thwarting mischief and malice with type theory

  • Authors:

  • Andrew D. Gordon;Alan Jeffrey

  • Affiliations:

  • Microsoft Research, Cambridge, United Kingdom;DePaul University, Chicago, Illinois

  • Venue:
  • Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract