🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Exact Probabilistic Inference Using Generating Functions

Lutz Klinkenberg, Tobias Winkler, ... (+2 more)

cs.PL 🏛 arXiv 📚 7 cites 3 years ago

R.I.P. 👻 Ghosted

Faster Smarter Induction in Isabelle/HOL

Yutaka Nagashima

cs.PL 🏛 IJCAI 📚 7 cites 5 years ago

R.I.P. 👻 Ghosted

Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments

Roger Scott, Joseph Ranieri, ... (+2 more)

cs.PL 🏛 IEEE Working Conference on Source Code Analysis and Manipulation 📚 7 cites 5 years ago

R.I.P. 👻 Ghosted

Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs

Michail Papadimitriou, Juan Fumero, ... (+3 more)

cs.PL 🏛 Programming 📚 7 cites 5 years ago

R.I.P. 👻 Ghosted

The Base Measure Problem and its Solution

Alexey Radul, Boris Alexeev

cs.PL 🏛 AISTATS 📚 7 cites 5 years ago

R.I.P. 👻 Ghosted

Coupled Relational Symbolic Execution for Differential Privacy

Gian Pietro Farina, Stephen Chong, Marco Gaboardi

cs.PL 🏛 European Symposium on Programming 📚 7 cites 5 years ago

R.I.P. 👻 Ghosted

A categorical approach to secure compilation

Stelios Tsampas, Andreas Nuyts, ... (+2 more)

cs.PL 🏛 ICCMCS W 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

Cross-tier web programming for curated databases: A case study

Simon Fowler, Simon D. Harding, ... (+2 more)

cs.PL 🏛 International Journal of Digital Curation 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

Soundness conditions for big-step semantics

Francesco Dagnino, Viviana Bono, ... (+2 more)

cs.PL 🏛 European Symposium on Programming 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

Quantitative Programming by Examples

Sumit Gulwani, Kunal Pathak, ... (+3 more)

cs.PL 🏛 arXiv 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

Deployable probabilistic programming

David Tolpin

cs.PL 🏛 SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software 📚 7 cites 7 years ago

R.I.P. 👻 Ghosted

Variability-aware Datalog

Ramy Shahin, Marsha Chechik

cs.PL 🏛 ICPADL 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild

Filip Křikava, Heather Miller, Jan Vitek

cs.PL 🏛 PACMPL 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

Type-Driven Automated Learning with Lale

Martin Hirzel, Kiran Kate, ... (+3 more)

cs.PL 🏛 arXiv 📚 7 cites 7 years ago

R.I.P. 👻 Ghosted

Mek: Mechanics Prototyping Tool for 2D Tile-Based Turn-Based Deterministic Games

Rokas Volkovas, Michael Fairbank, ... (+2 more)

cs.PL 🏛 CoG 📚 7 cites 7 years ago

R.I.P. 👻 Ghosted

Synthesizing Queries via Interactive Sketching

Osbert Bastani, Xin Zhang, Armando Solar-Lezama

cs.PL 🏛 arXiv 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

Type Safety with JSON Subschema

Andrew Habib, Avraham Shinnar, ... (+2 more)

cs.PL 🏛 arXiv 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

A Calculus for Language Transformations

Benjamin Mourad, Matteo Cimini

cs.PL 🏛 ICCTTPI 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

PlanAlyzer: Assessing Threats to the Validity of Online Experiments

Emma Tosch, Eytan Bakshy, ... (+3 more)

cs.PL 🏛 PACMPL 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

Using human-in-the-loop synthesis to author functional reactive programs

Julie L Newcomb, Rastislav Bodik

cs.PL 🏛 arXiv 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

Adding Data to Curry

Michael Hanus, Finn Teegen

cs.PL 🏛 DECLARE 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

Towards meta-interpretive learning of programming language semantics

Sándor Bartha, James Cheney

cs.PL 🏛 ICILP 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

Revisiting Occurrence Typing

Giuseppe Castagna, Victor Lanvin, ... (+2 more)

cs.PL 🏛 Science of Computer Programming 📚 7 cites 6 years ago

R.I.P. 👻 Ghosted

The Geometry of Bayesian Programming

Ugo Dal Lago, Naohiko Hoshino

cs.PL 🏛 Logic in Computer Science 📚 7 cites 7 years ago