Login / Signup

Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.

Hugo R. SimõesKevin HammondMário FloridoPedro B. Vasconcelos
Published in: TYPES (2006)
Keyphrases
  • higher order
  • functional programs
  • data analysis