CS代考 COMP3161/COMP9164
COMP3161/COMP9164 Syntax Exercises Liam O’ 26, 2019 1. (a) [⋆] Consider the following expressions in Higher Order abstract syntax. Convert them to concrete syntax. i. (Let (Num 3) (x. (Let (Plus x (Num 1)) (x. (Plus x x))))) ii. (Plus (Let (Num 3) (x. (Plus x x))) (Let (Num 2) (y. (Plus y (Num 4))))) […]
CS代考 COMP3161/COMP9164 Read More »