TY  - RPRT
TI  - Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
AU  - Pedro Vasconcelos
AU  - Rodrigo Marques
PY  - 2024
DO  - 10.1145/3677999.3678274
UR  - https://arxiv.org/abs/2407.11831
ID  - 2407.11831
ER  -