A Model for Reasoning About JavaScript Promises [pdf] | Hacker News Reader