Types as abstract interpretations
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type-based useless variable elimination
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Type-Based Useless-Variable Elimination
Higher-Order and Symbolic Computation
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
Modular control-flow analysis with rank 2 intersection types
Mathematical Structures in Computer Science
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
Calculi, types and applications
Theoretical Computer Science
Hi-index | 0.00 |