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


with A=loc1 do
   with M = (P = A:=@A+1) do
      with M, F=0 do
         A:=F; P

begin alias A=loc1 in
   begin module M = {proc P = A:=@A+1} in
      begin import M, fun F=0 in
         A:=F; call P

Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next