Lesson 1, Type Systems: Imperative, Environment-Based Type Systems

From K Framework
Jump to: navigation, search

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 to Lesson 2, Type Systems: Substitution-Based Higher-Order Type Systems.

Go back to K Tutorial.

[Open Full Tool Page]

Personal tools