Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
samth
on Dec 17, 2020
|
parent
|
context
|
favorite
| on:
Research in Programming Languages (2012)
While most POPL papers do contain some formalism, your description is strikes me as out of date, even for POPL.
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
