Lesson 1, Type Systems: Imperative, Environment-Based Type Systems
This movie has been done before the features in Tutorial 4, Lesson 7 were added. We will redo this movie as soon as we get a chance. However, the files linked to below are already updated.
All files in the K tool distribution that were used in this movie.
Go to YouTube mirror, if the above does not work.
Go back to K Tutorial.