Programming Languages

Authors and titles for cs.PL in Jul 2022

[1]  arXiv:2207.00257 [pdf, other]

Title: High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs

Authors: William S. Moses, Ivan R. Ivanov, Jens Domke, Toshio Endo, Johannes Doerfert, Oleksandr Zinenko

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)

[2]  arXiv:2207.00843 [pdf, ps, other]

Title: Sikkel: Multimode Simple Type Theory as an Agda Library

Authors: Joris Ceulemans (KU Leuven), Andreas Nuyts (KU Leuven), Dominique Devriese (KU Leuven)

Comments: In Proceedings MSFP 2022, arXiv:2206.09534

Journal-ref: EPTCS 360, 2022, pp. 93-112

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[3]  arXiv:2207.00847 [pdf, other]

Title: Combinatory Adjoints and Differentiation

Authors: Martin Elsman (University of Copenhagen), Fritz Henglein (University of Copenhagen), Robin Kaarsgaard (University of Edinburgh), Mikkel Kragh Mathiesen (University of Copenhagen), Robert Schenck (University of Copenhagen)

Comments: In Proceedings MSFP 2022, arXiv:2206.09534

Journal-ref: EPTCS 360, 2022, pp. 1-26

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

[4]  arXiv:2207.00850 [pdf, ps, other]

Title: The Programming of Algebra

Authors: Fritz Henglein (University of Copenhagen), Robin Kaarsgaard (University of Edinburgh), Mikkel Kragh Mathiesen (University of Copenhagen)

Comments: In Proceedings MSFP 2022, arXiv:2206.09534

Journal-ref: EPTCS 360, 2022, pp. 71-92

Subjects: Programming Languages (cs.PL); Databases (cs.DB); Symbolic Computation (cs.SC)

[5]  arXiv:2207.00852 [pdf, other]

Title: On Structuring Functional Programs with Monoidal Profunctors

Authors: Alexandre Garcia de Oliveira (Universidade de São Paulo), Mauro Jaskelioff (CIFASIS-CONICET), Ana Cristina Vieira de Melo (Universidade de São Paulo)

Comments: In Proceedings MSFP 2022, arXiv:2206.09534

Journal-ref: EPTCS 360, 2022, pp. 134-150

Subjects: Programming Languages (cs.PL)

[6]  arXiv:2207.01090 [pdf, other]

Title: Folding over Neural Networks

Authors: Minh Nguyen, Nicolas Wu

Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)

[7]  arXiv:2207.02015 [pdf, other]

Title: Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)

Authors: Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou

Comments: Extended version of paper accepted at CONCUR 2022. This version fixes a missing condition in fairness

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[8]  arXiv:2207.02129 [pdf, ps, other]

Title: Implementing Dependent Types in pi-forall

Authors: Stephanie Weirich

Comments: 54 pages

Subjects: Programming Languages (cs.PL)

[9]  arXiv:2207.02355 [pdf, other]

Title: A Concurrent Program Logic with a Future and History

Authors: Roland Meyer, Thomas Wies, Sebastian Wolff

Journal-ref: Proc. ACM Program. Lang. 6, OOPSLA2, Article 174 (October 2022), 30 pages

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[10]  arXiv:2207.02502 [pdf, other]

Title: VeriFx: Correct Replicated Data Types for the Masses

Authors: Kevin De Porre, Carla Ferreira, Elisa Gonzalez Boix

Comments: 35 pages, 13 figures

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)