News for hackers. Stuff that matters.

A comment on Research in Programming Languages (2012). Parent comment

Re:Research in Programming Languages (2012) by samth on Wednesday December 16, 2020 @09:53PM (#25451839)
While most POPL papers do contain some formalism, your description is strikes me as out of date, even for POPL.
[ Parent | on HN ]

There are no comments on this comment yet.