{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T15:23:46Z","timestamp":1768836226627,"version":"3.49.0"},"reference-count":0,"publisher":"Aspect-Oriented Software Association (AOSA)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Programming"],"DOI":"10.22152\/programming-journal.org\/2024\/8\/4","type":"journal-article","created":{"date-parts":[[2023,12,22]],"date-time":"2023-12-22T10:17:55Z","timestamp":1703240275000},"source":"Crossref","is-referenced-by-count":7,"title":["The Design Principles of the Elixir Type System"],"prefix":"10.22152","volume":"8","author":[{"given":"Giuseppe","family":"Castagna","sequence":"first","affiliation":[{"name":"IRIF - Universit\u00e9 Paris Cit\u00e9 - CNRS, France"}]},{"given":"Guillaume","family":"Duboc","sequence":"additional","affiliation":[{"name":"IRIF - Universit\u00e9 Paris Cit\u00e9 - CNRS, France \/ Remote Technology, France"}]},{"given":"Jos\u00e9","family":"Valim","sequence":"additional","affiliation":[{"name":"Dashbit, Poland"}]}],"member":"9415","published-online":{"date-parts":[[2023,10,15]]},"container-title":["The Art, Science, and Engineering of Programming"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,12,22]],"date-time":"2023-12-22T10:17:57Z","timestamp":1703240277000},"score":1,"resource":{"primary":{"URL":"https:\/\/programming-journal.org\/2024\/8\/4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,15]]},"references-count":0,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2023,12,22]]}},"URL":"https:\/\/doi.org\/10.22152\/programming-journal.org\/2024\/8\/4","relation":{},"ISSN":["2473-7321"],"issn-type":[{"value":"2473-7321","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,10,15]]},"article-number":"4"}}