Lecture 13: Pattern Matching in the Substitution Model
<% ShowSMLFile("lec13.sml") %>