Programming Languages

Authors and titles for December 2018

[26] arXiv:1812.02243 (cross-list from cs.LO) [pdf, other]

Title: Gems of Corrado Böhm

Henk P. Barendregt

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 3 (September 2, 2020) lmcs:5018

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

[27] arXiv:1812.02989 (cross-list from cs.LO) [pdf, other]

Title: CSS Minification via Constraint Solving (Technical Report)

Matthew Hague, Anthony W. Lin, Chih-Duo Hong

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

[28] arXiv:1812.03624 (cross-list from cs.LO) [pdf, other]

Title: Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic

Mohamed Yousri Mahmoud, Amy P. Felty

Comments: 40 pages, 5 figures

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

[29] arXiv:1812.03973 (cross-list from cs.LG) [pdf, other]

Title: Bayesian Layers: A Module for Neural Network Uncertainty

Dustin Tran, Michael W. Dusenberry, Mark van der Wilk, Danijar Hafner

Comments: Code available at this https URL

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

[30] arXiv:1812.04562 (cross-list from cs.AI) [pdf, other]

Title: Doubly Bayesian Optimization

Alexander Lavin

Comments: conflict of interest

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

[31] arXiv:1812.05380 (cross-list from cs.SE) [pdf, other]

Title: IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications

Abhishek Tiwari, Sascha Groß, Christian Hammer

Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR); Programming Languages (cs.PL)

[32] arXiv:1812.05878 (cross-list from math.CO) [pdf, other]

Title: In Praise of Sequence (Co-)Algebra and its implementation in Haskell

Kieran Clenaghan

Comments: 43 pages. Work commenced when the author was a visitor at the University of York

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Programming Languages (cs.PL); Symbolic Computation (cs.SC); History and Overview (math.HO)

[33] arXiv:1812.06009 (cross-list from cs.LO) [pdf, other]

Title: Solvability = Typability + Inhabitation

Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 1 (January 29, 2021) lmcs:5041

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

[34] arXiv:1812.08073 (cross-list from cs.DC) [pdf, other]

Title: Exposing A Customizable, Decentralized Cryptoeconomy as a Data Type

Jovonni L. Pharr

Comments: working/active paper

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Cryptography and Security (cs.CR); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA); Programming Languages (cs.PL)

[35] arXiv:1812.09167 (cross-list from quant-ph) [pdf, other]

Title: Open source software in quantum computing

Mark Fingerhuth, Tomáš Babej, Peter Wittek

Comments: 22 pages, 4 figures

Journal-ref: Fingerhuth M, Babej T, Wittek P (2018) Open source software in quantum computing. PLoS ONE 13(12): e0208561

Subjects: Quantum Physics (quant-ph); Mathematical Software (cs.MS); Programming Languages (cs.PL)

[36] arXiv:1812.10026 (cross-list from cs.LO) [pdf, other]

Title: Induction, Coinduction, and Fixed Points: A Concise Comparative Survey

Moez A. AbdelGawad

Comments: 13 pages (split article into three articles)

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)

[37] arXiv:1812.11145 (cross-list from cs.NI) [pdf, other]

Title: Checking-in on Network Functions

Zeeshan Lakhani, Heather Miller

Comments: ANRW 2019 ~ this https URL

Subjects: Networking and Internet Architecture (cs.NI); Programming Languages (cs.PL)