{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T04:40:43Z","timestamp":1768711243476,"version":"3.49.0"},"reference-count":18,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.378.1","type":"journal-article","created":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T18:15:29Z","timestamp":1681236929000},"page":"1-13","source":"Crossref","is-referenced-by-count":0,"title":["Kind Inference for the FreeST Programming Language"],"prefix":"10.4204","volume":"378","author":[{"given":"Bernardo","family":"Almeida","sequence":"first","affiliation":[{"name":"LASIGE, Faculty of Sciences, University of Lisbon"}]},{"given":"Andreia","family":"Mordido","sequence":"additional","affiliation":[{"name":"LASIGE, Faculty of Sciences, University of Lisbon"}]},{"given":"Vasco T.","family":"Vasconcelos","sequence":"additional","affiliation":[{"name":"LASIGE, Faculty of Sciences, University of Lisbon"}]}],"member":"2720","published-online":{"date-parts":[[2023,4,13]]},"reference":[{"key":"AlmeidaMTV22","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2022.104948","article-title":"Polymorphic lambda calculus with context-free session types","volume":"289","author":"Almeida","year":"2022","journal-title":"Inf. Comput."},{"key":"AlmeidaMV19","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"12","DOI":"10.4204\/EPTCS.291.2","article-title":"FreeST: Context-free Session Types in a Functional Language","volume-title":"PLACES","volume":"291","author":"Almeida","year":"2019"},{"key":"BernardyBNJS18","doi-asserted-by":"publisher","DOI":"10.1145\/3158093","article-title":"Linear Haskell: practical linearity in a higher-order polymorphic language","volume":"2","author":"Bernardy","year":"2018","journal-title":"Proc. ACM Program. Lang."},{"key":"Girard87","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear Logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theor. Comput. Sci."},{"key":"Honda93","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1007\/3-540-57208-2_35","article-title":"Types for Dyadic Interaction","volume-title":"CONCUR","volume":"715","author":"Honda","year":"1993"},{"key":"HondaVK98","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","article-title":"Language Primitives and Type Discipline for Structured Communication-Based Programming","volume-title":"ESOP","volume":"1381","author":"Honda","year":"1998"},{"key":"MazurakZZ10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/1708016.1708027","article-title":"Lightweight linear types in system fdegree","volume-title":"Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010","author":"Mazurak","year":"2010"},{"key":"Morris16","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1145\/2951913.2951925","article-title":"The best of both worlds: linear functional programming without compromise","volume-title":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016","author":"Morris","year":"2016"},{"key":"OderskyZZ01","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/360204.360207","article-title":"Colored local type inference","volume-title":"Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001","author":"Odersky","year":"2001"},{"issue":"2","key":"Padovani19","doi-asserted-by":"publisher","DOI":"10.1145\/3229062","article-title":"Context-Free Session Type Inference","volume":"41","author":"Padovani","year":"2019","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"PierceT00","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/345099.345100","article-title":"Local type inference","volume":"22","author":"Pierce","year":"2000","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"RadanneST20","doi-asserted-by":"publisher","DOI":"10.1145\/3408985","article-title":"Kindly bent to free us","volume":"4","author":"Radanne","year":"2020","journal-title":"Proc. ACM Program. Lang."},{"key":"Reynolds74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/3-540-06859-7_148","article-title":"Towards a theory of type structure","volume-title":"Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974","volume":"19","author":"Reynolds","year":"1974"},{"key":"TakeuchiHK94","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-58184-7_118","article-title":"An Interaction-based Language and its Typing System","volume-title":"PARLE","volume":"817","author":"Takeuchi","year":"1994"},{"key":"ThiemannV16","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1145\/2951913.2951926","article-title":"Context-free session types","volume-title":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016","author":"Thiemann","year":"2016"},{"key":"TovP11","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1145\/1926385.1926436","article-title":"Practical affine types","volume-title":"Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011","author":"Tov","year":"2011"},{"key":"Wells94","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1109\/LICS.1994.316068","article-title":"Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable","volume-title":"LICS","author":"Wells","year":"1994"},{"issue":"4","key":"DBLP:journals\/lisp\/Wright95","first-page":"343","article-title":"Simple Imperative Polymorphism","volume":"8","author":"Wright","year":"1995","journal-title":"LISP Symb. Comput."}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,4,14]],"date-time":"2023-04-14T18:21:56Z","timestamp":1681496516000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2304.06396v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,13]]},"references-count":18,"URL":"https:\/\/doi.org\/10.4204\/eptcs.378.1","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,4,13]]}}}