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

DOI10.1007/978-3-540-74464-1_15zbMath1178.68139OpenAlexW1526538522MaRDI QIDQ3612447

Pedro Vasconcelos, Kevin Hammond, Hugo R. Simões, Mário Florido

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74464-1_15

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Tight typings and split bounds, fully developed ⋮ Unnamed Item

This page was built for publication: Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs