'Term equality' presentation slideshows

Higher-Order Modules and the Phase Distinction

Higher-Order Modules and the Phase Distinction. Harper, Mitchell, Moggi Presented by Aleksey Kliger Fall Semester, 2002. Motivation. HM86 introduces dependent types for modeling modules Too powerful: type equality depends on value equality Not clear how to statically typecheck. HMM outline.

572 views • 46 slides