[ashton314]

Glad to see Matthias Felleisen's paper "On the Expressive Power of Programming Languages” mentioned right off the bat.

Shriram’s talk on the same is mentioned too—Shriram is a great guy and I’ve enjoyed all my interactions with him. He’s working on improving CS education. There’s a neat program called “Bootstrap” that he’s helped found that aims at teaching algebra with programming. The idea is that functional programming helps students grok important algebraic concepts. (Sorry if I slaughter the description.)

Anyway, I appreciate these people and their work. Cool stuff.

(Disclaimer: my advisor has had both Shriram and Matthias as advisors. I thought they were cool before starting my PhD though, so it’s genuine. :)

[chongli]

I think it also bears mentioning that Felleisen and Krishnamurthi are two of the authors of the eminent How to Design Programs [1]. For anyone looking to begin their journey into the world of software development, it’s really hard to beat HtDP! It will teach you a systematic approach to software design and development, without letting the messy details of programming languages get in the way.

[1] https://htdp.org/

[mrslave]

https://www.bootstrapworld.org/ for the curious