Login / Signup
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.
Hugo R. Simões
Kevin Hammond
Mário Florido
Pedro B. Vasconcelos
Published in:
TYPES (2006)
Keyphrases
</>
higher order
functional programs
data analysis