15-816 Linear Logic

Lecture 22: Mini-ML with References

We discuss the language Mini-ML with references, describe an operational semantics and a system of typing rules. All theses systems can be adequately represented in LLF. We then proceed to show type preservation for this language.

A more detailled version of the paper handed out in class is available here . It contains a detailled discription of the Mini-ML with References example.

[ home | schedule | assignments | languages | handouts | overview | links ]

Carsten Schuermann