search

snu-sf-class / pl2015spring

SNU 4190.310, 2015 Spring
11 stars 6 forks source link

How many chapters will this class cover? #126

Open jaewooklee93 opened 9 years ago

jaewooklee93 commented 9 years ago

In the chapter dependencies diagram ( http://www.cis.upenn.edu/~bcpierce/sf/current/deps.html ), Hoare Logic chapters are positioned in the middle of the whole material. After Hoare chapters, there are Smallstep, Auto, Types, Stlc, StlcProp, MoreStlc, Typechecking,... and so on. I'd like to know how many chapters will be in the range of a final exam.

jeehoonkang commented 9 years ago

I believe I am not in a position to answer your question; please ask @gilhur .