5 ms·

Hi, author of the paper here, happy to answer any questions.

• tindleaj 8y ago
  Any PL related material you'd recommend as a prerequisite for these materials? I don't have a formal CS background, but I do have a few years' professional experience.
  • wcrichton 8y ago
    The only prerequisites are basic discrete math (first-order logic, sets, etc.) and computer systems (C, memory management, threading) knowledge.
• primitivesuave 8y ago
  This is a great trend I'm seeing in college-level CS education, where (generally younger) people are bringing real-world ideas into the classroom and presenting them by their underlying theory - this will certainly be useful knowledge for your students and I thank you for doing so!
  • wcrichton 8y ago
    Thanks for the kind words!
• rahulrrixe 8y ago
  Is the course content available online? Do you have any community around it? The paper summarises well about current tech stack and bringing it to the University.
  • wcrichton 8y ago
    Yes, the content is on the course website: http://cs242.stanford.edu/f18/ http://cs242.stanford.edu/f18/
    • nak0 8y ago
      I didn't find the exercises... are they also online somewhere? Anyway, thank you for that course and sharing it here.
      • wcrichton 8y ago
        https://github.com/stanford-cs242/f18-assignments https://github.com/stanford-cs242/f18-assignments
• YorkshireSeason 8y ago
  How did the students react to session types? They are awkward to use in practise (communication topology is usually data dependent) and Rust is awkward, so both together should be really clunky ...
• aouk 8y ago
  https://news.ycombinator.com/item?id=18638290 https://news.ycombinator.com/item?id=18638290 is it part of what you want to achieve ?