Return to Article Details A Pedagogical Static Analysis Framework For Teaching Functional Programming Download Download PDF