Posts tagged by Ming-Ho Yee

Fall 2016 PL Junior Retrospective

:: PL Junior, by Ben Chung, by Milo Davis, by Ming-Ho Yee, by Sam Caldwell

The Programming Language Seminar, Junior (or “PL Junior”), is a seminar for junior students to learn and discuss topics at a pace more suitable to our background. This semester, we decided to study dependent types. We chose this topic because

  1. working from the TAPL presentation of type systems, dependent types are a step up in difficulty (excepting F-omega-sub), and
  2. they represent a significant increase in the reasoning power of types over programs.