Typed Intermediate Languages for Shape Analysis

  • Authors:

  • Gianna Bellè;Eugenio Moggi

  • Affiliations:

  • -;-

  • Venue:
  • TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract