On the topic of curriculum Robert Harper has some good posts on reasons why CMU jettisoned their entire curriculum and rewrote[1] it from scratch back around 20

On the topic of curriculum Robert Harper has some good posts on reasons why CMU jettisoned their entire curriculum and rewrote[1] it from scratch back around 2011 and it's success[2]. It really is a great curriculum I haven't seen at other schools that focuses on verification, functional programming and parallel algorithms. [1]https://existentialtype.wordpress.com/2012/08/17/intro-curriculum-update/ https://existentialtype.wordpress.com/2012/08/17/intro-curri... [2]https://existentialtype.wordpress.com/2011/03/21/the-dog-that-didnt-bark/ https://existentialtype.wordpress.com/2011/03/21/the-dog-tha...