NUMEX Interpreter

Aug 19, 2020

Go to Project Site

Example Command:

(eval-exp (with "f1" (lam "f1" "a" (with "x" (var "a") (lam "f2" "z" (plus (var "x") (num 1)))))
                               (with "f3" (lam "f3" "f" (with "x" (num 1729) (apply (var "f") (munit)))) 
                                     (apply (var "f3") (apply (var "f1") (num 1))))))

Output:

(num 2)

Arash Hajisafi

PhD Candidate in Computer Science

I am currently working as a PhD Research Assistant at InfoLab, Computer Science Department at the University of Southern California under the supervision of Prof. Cyrus Shahabi. My research interests include Graph Neural Networks and Spatio-Temporal Data Management and Forecasting.