archives

Continuations that store the heap?

I have generally understood a continuation as being more or less a copy of a call stack, and that it leaves the state of the heap untouched. I was wondering is if it restored the heap to its original state, would it still be considered a continuation?

Thanks in advance!

Bob Harper of CMU is blogging about programming languages and introductory CS education

Via Mathematics and Computation (HT: Andrej Bauer):
Bob Harper of CMU, has recently started a blog, called Existential Type, about programming languages. He is a leading expert in Programming Languages. I remember being deeply inspired the first time I heard him talk. I was an incoming graduate student at CMU and he presented what the programming languages people at CMU did. His posts are fun to read, unreserved and very educational. Highly recommended!