Refined types: highly differentiated type systems and their use in the design of intermediate languages

  • Authors:
  • J. R. Rose

  • Affiliations:
  • Thinking Machines Corporation, Cambridge, MA

  • Venue:
  • PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
  • Year:
  • 1988

Quantified Score

Hi-index 0.00

Visualization

Abstract