Keyword:call-by-value

Publications
Hybrid Intersection Types for PCF Pablo Barenbaum, Delia Kesner and Mariana Milicich In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus Giulio Guerrieri EasyChair Preprint 334