Stack-Safety

While the contents in this folder try to explain stack-safety clearly, Nathan Faubion recorded a recent talk that explains things in a very clear bottom-up way, including how we get the definition of Trampoline. See Taming the Stack.