[PEPM'23] Towards Type Debugging using Partial Evaluation

[PEPM'23] Towards Type Debugging using Partial EvaluationПодробнее

[PEPM'23] Fast Cryptographic Code via Partial EvaluationПодробнее

[PEPM'22] Why are partial evaluation and supercompilation still not widely used in practicПодробнее

[PEPM'24] Scoped and Typed Staging by EvaluationПодробнее

[LAFI'23] Partial Evaluation of Forward-Mode Automatic DifferentiationПодробнее

[PEPM'22] On Type-Based Techniques for Program ManipulationПодробнее

[PEPM'22] A partial history of partial evaluationПодробнее

[PEPM'25] Typed Program Analysis Without EncodingsПодробнее

[PEPM'22] Partially Evaluating Symbolic Interpreters for AllПодробнее

[ICFP'23] How to Evaluate Blame for Gradual Types, Part 2Подробнее

[PEPM'24] Partial Evaluation of Reversible Flowchart ProgramsПодробнее

[GPCE23] Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equati...Подробнее

[SLE23] GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models...Подробнее