ML Partial Evaluator (using Set-Based Analysis)

This is a stream lined partial evaluator for ML. Binding time analysis is provided via set-based analysis. The focus of this work is to address the computational overheads introduced by modularization (such as those associated with structured systems programming in ML).