Go backward to Strongly Typed Languages Go up to Top Go forward to Stack-Managed Storage

Example

See Figure 7.3

lambda l.(lambda s. return (update l (one plus two) s))
! (check (fix (lambda f. lambda s.
    ((access l s) equals zero ->
        (lambda s. return(update (next-locn l)
            (access l s) s)) ! (check f)
        [] return
    ) s )))
! (check (lambda s. return (update l one s)))

(f!g := g of)

Resembles series of machine code instructions parameterized on the store's base address l.