30 L'interprete iterativo 2 let itsemden() = let continuation = top(cstack) in let tempstack = top(tempvalstack) in let tempdstack = top(tempdvalstack) in let rho = topenv() in let sigma = topstore() in (match top(continuation) with |Exprd1(x) -> (pop(continuation); push(Exprd2(x),continuation); match x with |...
{}