previous up next
Go backward to Lambda Abstraction Introduction
Go up to Top
Go forward to Full Language
RISC-Linz logo


with M = lambdaX:intloc.
      (A=loc1, P=lambdaY:intexp.X:=Y) do
   with M loc1 do
      P (@A+1)

begin module M(X: intloc) =
      {alias A=loc1, proc P(Y: intexp) = X:=Y}
   in begin import M(loc1) in
      call P(@A+1)
   end end

Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next