{
  "title": "Integer Stack with Typestate",
  "origin_url": "https://www.microsoft.com/en-us/research/publication/adoption-and-focus-practical-linear-types-for-imperative-programming/",
  "license_guess": null,
  "code_sha256": "0ee824ba7a258ec6b7da322e75e907f465b02d59f5a3017cd63f5509724f9633",
  "added_at": "2026-02-28T16:00:00Z"
}