Laboratory for Software Design, Dept. of Computer Science

Com S 610-HR: Advanced Topics in Type Systems

Got a question?

Got a question or comment? Contact us at (515) 294-6168 or hridesh@cs.iastate.edu.

Approximate Schedule and Reading List for this Seminar

PresenterChapterSlides
Yuheng Long Fritz Henglein, Henning Makholm, and Henning Niss, "Effect Types and Region-Based Memory Management" Slides
Tyler Sondag Greg Morrisett, "Typed Assembly Language" Slides
Mehdi Bagherzadeh George Necula, "Proof-Carrying Code" Slides
Youssef Hanna Karl Crary, "Logical Relations and a Case Study in Equivalence Checking" Slides
Robert Dyer Robert Harper and Benjamin C. Pierce, "Design Considerations for ML-Style Module Systems" Slides
Sean Mooney Francois Pottier and Didier Remy, "The Essence of ML Type Inference" Slides