15-312 Foundations Of Programming Languages Page

: Learning to give precise mathematical definitions of a language's (type systems) and (execution behavior). Proving Safety

: Every two weeks, students typically implement the dynamics and statics of a language feature. This involves "translating" mathematical inference rules into executable SML code. 15-312 foundations of programming languages