The $$\mathbb {K}$$ Vision for the Future of Programming Language Design and Analysis
Crossref DOI link: https://doi.org/10.1007/978-3-030-87348-6_1
Published Online: 2021-10-17
Published Print: 2021
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chen, Xiaohong http://orcid.org/0000-0003-3208-4061
Roşu, Grigore http://orcid.org/0000-0002-3102-0421
Text and Data Mining valid from 2021-01-01
Version of Record valid from 2021-01-01
Chapter History
First Online: 17 October 2021