{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T06:11:36Z","timestamp":1772950296337,"version":"3.50.1"},"reference-count":28,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["PTDC\/CCI-COM\/6453\/2020"],"award-info":[{"award-number":["PTDC\/CCI-COM\/6453\/2020"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UID\/00408\/2025"],"award-info":[{"award-number":["UID\/00408\/2025"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Logical and Algebraic Methods in Programming"],"published-print":{"date-parts":[[2026,1]]},"DOI":"10.1016\/j.jlamp.2025.101083","type":"journal-article","created":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T15:12:31Z","timestamp":1756480351000},"page":"101083","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Kind inference for the FreeST programming language"],"prefix":"10.1016","volume":"148","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5398-6529","authenticated-orcid":false,"given":"Bernardo","family":"Almeida","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1547-0692","authenticated-orcid":false,"given":"Andreia","family":"Mordido","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9539-8861","authenticated-orcid":false,"given":"Vasco T.","family":"Vasconcelos","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"Part","key":"10.1016\/j.jlamp.2025.101083_br0010","article-title":"Polymorphic lambda calculus with context-free session types","volume":"289","author":"Almeida","year":"2022","journal-title":"Inf. Comput."},{"key":"10.1016\/j.jlamp.2025.101083_br0020","author":"Almeida"},{"key":"10.1016\/j.jlamp.2025.101083_br0030","series-title":"PLACES","first-page":"12","article-title":"FreeST: context-free session types in a functional language","volume":"vol. 291","author":"Almeida","year":"2019"},{"key":"10.1016\/j.jlamp.2025.101083_br0040","series-title":"PLACES@ETAPS 2023","first-page":"1","article-title":"Kind inference for the FreeST programming language","volume":"vol. 378","author":"Almeida","year":"2023"},{"key":"10.1016\/j.jlamp.2025.101083_br0050","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3158093","article-title":"Linear Haskell: practical linearity in a higher-order polymorphic language","volume":"5","author":"Bernardy","year":"2018","journal-title":"Proc. ACM Program. Lang."},{"issue":"POPL","key":"10.1016\/j.jlamp.2025.101083_br0060","first-page":"28:1","article-title":"Exceptional asynchronous session types: session types without tiers","volume":"3","author":"Fowler","year":"2019","journal-title":"PACMPL"},{"issue":"4","key":"10.1016\/j.jlamp.2025.101083_br0070","article-title":"Modular session types for objects","volume":"11","author":"Gay","year":"2015","journal-title":"Log. Methods Comput. Sci."},{"key":"10.1016\/j.jlamp.2025.101083_br0080","series-title":"PLACES@ETAPS","first-page":"23","article-title":"Duality of session types: the final cut","volume":"vol. 314","author":"Gay","year":"2020"},{"issue":"1","key":"10.1016\/j.jlamp.2025.101083_br0090","first-page":"19","article-title":"Linear type theory for asynchronous session types","volume":"20","author":"Gay","year":"2010","journal-title":"J. Fam. Psychol."},{"key":"10.1016\/j.jlamp.2025.101083_br0100","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"Girard","year":"1987","journal-title":"Linear logic. Theor. Comput. Sci."},{"key":"10.1016\/j.jlamp.2025.101083_br0110","series-title":"Practical Foundations for Programming Languages","author":"Harper","year":"2016"},{"key":"10.1016\/j.jlamp.2025.101083_br0120","series-title":"CONCUR","first-page":"509","article-title":"Types for dyadic interaction","volume":"vol. 715","author":"Honda","year":"1993"},{"key":"10.1016\/j.jlamp.2025.101083_br0130","series-title":"ESOP","first-page":"122","article-title":"Language primitives and type discipline for structured communication-based programming","volume":"vol. 1381","author":"Honda","year":"1998"},{"key":"10.1016\/j.jlamp.2025.101083_br0140","series-title":"Behavioural Types: from Theory to Tools","first-page":"265","article-title":"Lightweight functional session types","author":"Lindley","year":"2017"},{"key":"10.1016\/j.jlamp.2025.101083_br0150","series-title":"TLDI","first-page":"77","article-title":"Lightweight linear types in system fdegree","author":"Mazurak","year":"2010"},{"key":"10.1016\/j.jlamp.2025.101083_br0160","series-title":"ICFP","first-page":"448","article-title":"The best of both worlds: linear functional programming without compromise","author":"Morris","year":"2016"},{"key":"10.1016\/j.jlamp.2025.101083_br0170","series-title":"ESOP","first-page":"804","article-title":"Context-free session type inference","volume":"vol. 10201","author":"Padovani","year":"2017"},{"key":"10.1016\/j.jlamp.2025.101083_br0180","first-page":"e4","article-title":"A simple library implementation of binary sessions","volume":"27","author":"Padovani","year":"2017","journal-title":"J. Fam. Psychol."},{"issue":"2","key":"10.1016\/j.jlamp.2025.101083_br0190","doi-asserted-by":"crossref","first-page":"9:1","DOI":"10.1145\/3229062","article-title":"Context-free session type inference","volume":"41","author":"Padovani","year":"2019","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/j.jlamp.2025.101083_br0200","series-title":"Types and Programming Languages","author":"Pierce","year":"2002"},{"key":"10.1016\/j.jlamp.2025.101083_br0210","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3408985","article-title":"Kindly bent to free us","volume":"103","author":"Radanne","year":"2020","journal-title":"Proc. ACM Program. Lang."},{"key":"10.1016\/j.jlamp.2025.101083_br0220","series-title":"PARLE","first-page":"398","article-title":"An interaction-based language and its typing system","volume":"vol. 817","author":"Takeuchi","year":"1994"},{"key":"10.1016\/j.jlamp.2025.101083_br0230","series-title":"ICFP","first-page":"462","article-title":"Context-free session types","author":"Thiemann","year":"2016"},{"key":"10.1016\/j.jlamp.2025.101083_br0240","series-title":"POPL","first-page":"447","article-title":"Practical affine types","author":"Tov","year":"2011"},{"key":"10.1016\/j.jlamp.2025.101083_br0250","first-page":"53","article-title":"Sessions, from types to programming languages","volume":"103","author":"Vasconcelos","year":"2011","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci."},{"key":"10.1016\/j.jlamp.2025.101083_br0260","series-title":"CONCUR","first-page":"497","article-title":"Session types for functional multithreading","volume":"vol. 3170","author":"Thudichum Vasconcelos","year":"2004"},{"key":"10.1016\/j.jlamp.2025.101083_br0270","series-title":"Advanced Topics in Types and Programming Languages","author":"Walker","year":"2005"},{"issue":"4","key":"10.1016\/j.jlamp.2025.101083_br0280","first-page":"343","article-title":"Simple imperative polymorphism","volume":"8","author":"Wright","year":"1995","journal-title":"LISP Symb. Comput."}],"container-title":["Journal of Logical and Algebraic Methods in Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220825000495?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220825000495?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T17:29:13Z","timestamp":1772904553000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2352220825000495"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1]]},"references-count":28,"alternative-id":["S2352220825000495"],"URL":"https:\/\/doi.org\/10.1016\/j.jlamp.2025.101083","relation":{},"ISSN":["2352-2208"],"issn-type":[{"value":"2352-2208","type":"print"}],"subject":[],"published":{"date-parts":[[2026,1]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Kind inference for the FreeST programming language","name":"articletitle","label":"Article Title"},{"value":"Journal of Logical and Algebraic Methods in Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jlamp.2025.101083","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2025 Published by Elsevier Inc.","name":"copyright","label":"Copyright"}],"article-number":"101083"}}