Type-Based Useless-Code Elimination for Functional Programs
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Useless-Code Detection and Elimination for PCF with Algebraic Data types
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
A formalization of Static Analyses in System F
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
A conjunctive type system for useless-code elimination
Mathematical Structures in Computer Science
Automatic useless-code elimination for HOT functional programs
Journal of Functional Programming
Hi-index | 0.00 |