Authors: Dylan McDermott, Alan Mycroft

Superior Title: Logical Methods in Computer Science, Vol Volume 20, Issue 1 (2024)

Subject Terms: computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/11022/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/7a65cbfea09d4a6d8cc212ce3c005d24

Authors: Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen

Superior Title: Logical Methods in Computer Science, Vol Volume 20, Issue 1 (2024)

Subject Terms: computer science - programming languages, computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/10440/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/de5ab92fd7694c31a8e4a830eb284383

Authors: Beniamino Accattoli

Superior Title: Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)

Subject Terms: computer science - logic in computer science, computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/10888/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/062ae776fb1142a7869a25bbd7abd725

Authors: Wen Kokke, Ornela Dardha

Superior Title: Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)

Subject Terms: computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/8867/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/c43c74b072a5455fae15a9368e47862e

Authors: Paulo Emílio de Vilhena, François Pottier

Superior Title: Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)

Subject Terms: computer science - logic in computer science, computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/8851/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/c3eb8936345649fda3bf96782f94e5cb

Authors: Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris

Superior Title: Logical Methods in Computer Science, Vol Volume 19, Issue 3 (2023)

Subject Terms: computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/9361/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/58152a80515540a2869ace798f9c97fb

Authors: Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer

Superior Title: Logical Methods in Computer Science, Vol Volume 19, Issue 2 (2023)

Subject Terms: computer science - logic in computer science, computer science - programming languages, computer science - software engineering, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/10384/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/c0847af94b3541908ad242766b5af307

Authors: Martin Abadi, Gordon Plotkin

Superior Title: Logical Methods in Computer Science, Vol Volume 19, Issue 2 (2023)

Subject Terms: computer science - logic in computer science, computer science - machine learning, computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/8372/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/c7a0c3dce37949f5b5683494ac4e6a89

Authors: Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir

Superior Title: Logical Methods in Computer Science, Vol Volume 19, Issue 1 (2023)

Subject Terms: computer science - logic in computer science, computer science - programming languages, computer science - software engineering, f.3.1, f.3.2, d.2.4, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/8944/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/e49cdee6ecd44720866d895fe0ce33ee

Authors: Pacenza, Francesco, Zangari, Jessica

Subject Terms: Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Computer Science - Software Engineering, D.1.6, D.3.1, D.3.3, I.2.4, I.2.5

Relation: http://arxiv.org/abs/2312.04249

Availability: http://arxiv.org/abs/2312.04249

Authors: Herlihy, Anna, Martres, Guillaume, Ailamaki, Anastasia, Odersky, Martin

Subject Terms: Computer Science - Databases, Computer Science - Programming Languages

Relation: http://arxiv.org/abs/2312.04282

Availability: http://arxiv.org/abs/2312.04282

Authors: BigCode collaboration, Hughes, Sean, de Vries, Harm, Robinson, Jennifer, Ferrandis, Carlos Muñoz, Allal, Loubna Ben, von Werra, Leandro, Ding, Jennifer, Paquet, Sebastien, Jernite, Yacine

Subject Terms: Computer Science - Computers and Society, Computer Science - Artificial Intelligence, Computer Science - Computation and Language, Computer Science - Machine Learning, Computer Science - Programming Languages

Relation: http://arxiv.org/abs/2312.03872

Availability: http://arxiv.org/abs/2312.03872

Authors: Ferry, Corentin, Derrien, Steven, Rajopadhye, Sanjay

Subject Terms: Computer Science - Programming Languages

Relation: http://arxiv.org/abs/2312.03646

Availability: http://arxiv.org/abs/2312.03646

Authors: Bansal, Ayush, Subramanyan, Pramod, Nandakumar, Satyadev

Subject Terms: Computer Science - Programming Languages

Relation: http://arxiv.org/abs/2312.03369

Availability: http://arxiv.org/abs/2312.03369

Authors: Lee, Kyungwoo, Ren, Manman, Hoag, Ellis

Subject Terms: Computer Science - Programming Languages

Relation: http://arxiv.org/abs/2312.03214

Availability: http://arxiv.org/abs/2312.03214

Authors: Mezzina, Claudio Antares, Tiezzi, Francesco, Yoshida, Nobuko

Subject Terms: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

Relation: http://arxiv.org/abs/2312.02851

Availability: http://arxiv.org/abs/2312.02851

Authors: Pace, Lorenzo

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Programming Languages

Relation: http://arxiv.org/abs/2312.02996

Availability: http://arxiv.org/abs/2312.02996

Authors: Bernardy, Jean-Philippe, Jansson, Patrik

Subject Terms: Computer Science - Programming Languages

Relation: http://arxiv.org/abs/2312.02664

Availability: http://arxiv.org/abs/2312.02664

Authors: Chen, Tianyu, Siek, Jeremy G.

Subject Terms: Computer Science - Programming Languages, 68N15, D.3

Relation: http://arxiv.org/abs/2312.02359

Availability: http://arxiv.org/abs/2312.02359

Authors: Tang, Wenhao, Schrijvers, Tom

Subject Terms: Computer Science - Programming Languages

Relation: http://arxiv.org/abs/2312.02054

Availability: http://arxiv.org/abs/2312.02054