[PL-sem-jr] Plan for this semester and next week

[Jonathan Schuster]

This post might be interesting to you all, if you haven't seen it:
http://tomasp.net/blog/2014/philosophy-pl/

On Wed, Jan 24, 2018 at 5:36 PM, Ming-Ho Yee <yee.mi at husky.neu.edu> wrote:

> At today's planning meeting, we decided on two themes for PL Jr.
>
> The first is "the history and philosophy of programming languages," which
> is intentionally vague. Topics can be related to math (e.g. Gödel's
> incompleteness theorems, Church, Turing, etc.) or engineering (e.g. Ada
> Lovelace, Grace Hopper), or anything else that falls under history. *Please
> brainstorm some topics so we can decide on a schedule next week.*
>
> The second theme is an experiment: we'll watch conference talk videos, but
> pause to discuss and ask questions whenever we don't understand something.
>
> Next week, we'll start with William's POPL talk, Type-Preserving CPS
> Translation of Σ and Π Types is Not Not Possible
> <https://www.youtube.com/watch?v=JhzMAVYA8pg>.
>
> *Also, think about what history topics or conference talks you'd like to
> discuss.* Here are some recent papers/videos: POPL papers
> <https://popl18.sigplan.org/track/POPL-2018-papers#event-overview> and
> talks <https://www.youtube.com/channel/UCTp2XBEhj5rBzc2IfysZwYA/featured>,
> OOPSLA papers
> <https://2017.splashcon.org/track/splash-2017-OOPSLA#event-overview> and
> talks <https://www.youtube.com/channel/UCgNOrQWOr3rKR9XPB1Km66Q/feed>,
> ICFP papers
> <https://icfp17.sigplan.org/track/icfp-2017-papers#event-overview> and
> talks
> <https://www.youtube.com/playlist?list=PLnqUlCo055hW7kU-SBQEhC_87etA5Gqlq>,
> PLDI papers <https://pldi17.sigplan.org/track/pldi-2017-papers> and talks
> <https://www.youtube.com/playlist?list=PLMTm6Ln7vQZZv6sQ0I4R7iaIjvSVhHXod>,
> ECOOP papers <https://2017.ecoop.org/track/ecoop-2017-papers> and talks
> <https://www.youtube.com/playlist?list=PLMTm6Ln7vQZZ4uY483ouMr4EEIa79yEqu>
> .
>
>
>
> When: Wednesdays at 1:30pm
> Where: WVF 116
>
>
> -- Ming-Ho
>
> _______________________________________________
> Pl-sem-jr mailing list
> Pl-sem-jr at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/pl-sem-jr
>
>
-------------- next part --------------
HTML attachment scrubbed and removed