🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Efficient Implementation of a Higher-Order Language with Built-In AD

Jeffrey Mark Siskind, Barak A. Pearlmutter

cs.PL 🏛 arXiv 📚 12 cites 9 years ago

R.I.P. 👻 Ghosted

A web-based IDE for IDP

Ingmar Dasseville, Gerda Janssens

cs.PL 🏛 arXiv 📚 12 cites 10 years ago

R.I.P. 👻 Ghosted

Relating BIP and Reo

Kasper Dokter, Sung-Shik Jongmans, ... (+2 more)

cs.PL 🏛 ICICE 📚 12 cites 10 years ago

R.I.P. 👻 Ghosted

Towards a Decoupled Context-Oriented Programming Language for the Internet of Things

Baptiste Maingret, Frédéric Le Mouël, ... (+4 more)

cs.PL 🏛 COP@ECOOP 📚 12 cites 10 years ago

R.I.P. 👻 Ghosted

Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming

Guilherme Espada, Leon Ingelse, ... (+3 more)

cs.PL 🏛 ICGPCE 📚 12 cites 3 years ago

R.I.P. 👻 Ghosted

Probabilistic Programming with Programmable Variational Inference

McCoy R. Becker, Alexander K. Lew, ... (+5 more)

cs.PL 🏛 PACMPL 📚 11 cites 1 year ago

R.I.P. 👻 Ghosted

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages

Shuvendu K. Lahiri

cs.PL 🏛 FM 📚 11 cites 2 years ago

R.I.P. 👻 Ghosted

Compositional imprecise probability

Jack Liell-Cock, Sam Staton

cs.PL 🏛 PACMPL 📚 11 cites 2 years ago

R.I.P. 👻 Ghosted

Bridging Control-Centric and Data-Centric Optimization

Tal Ben-Nun, Berke Ates, ... (+2 more)

cs.PL 🏛 IEEE/ACM International Symposium on Code Generation and Optimization 📚 11 cites 3 years ago

R.I.P. 👻 Ghosted

Polymorphic Type Inference for Dynamic Languages

Giuseppe Castagna, Mickaël Laurent, Kim Nguyen

cs.PL 🏛 PACMPL 📚 11 cites 2 years ago

R.I.P. 👻 Ghosted

Sound Gradual Verification with Symbolic Execution

Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich

cs.PL 🏛 PACMPL 📚 11 cites 2 years ago

R.I.P. 👻 Ghosted

Reference Capabilities for Flexible Memory Management: Extended Version

Ellen Arvidsson, Elias Castegren, ... (+5 more)

cs.PL 🏛 PACMPL 📚 11 cites 2 years ago

R.I.P. 👻 Ghosted

Alice or Bob?: Process Polymorphism in Choreographies

Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi

cs.PL 🏛 Journal of functional programming 📚 11 cites 3 years ago

R.I.P. 👻 Ghosted

The Reads-From Equivalence for the TSO and PSO Memory Models

Truc Lam Bui, Krishnendu Chatterjee, ... (+3 more)

cs.PL 🏛 PACMPL 📚 11 cites 5 years ago

R.I.P. 👻 Ghosted

Probabilistic Resource-Aware Session Types

Ankush Das, Di Wang, Jan Hoffmann

cs.PL 🏛 PACMPL 📚 11 cites 5 years ago

R.I.P. 👻 Ghosted

The Improved GP 2 Compiler

Graham Campbell, Jack Romo, Detlef Plump

cs.PL 🏛 arXiv 📚 11 cites 5 years ago

R.I.P. 👻 Ghosted

Probabilistic Programming Semantics for Name Generation

Marcin Sabok, Sam Staton, ... (+2 more)

cs.PL 🏛 PACMPL 📚 11 cites 5 years ago

R.I.P. 👻 Ghosted

Liquid Resource Types

Tristan Knoth, Di Wang, ... (+3 more)

cs.PL 🏛 PACMPL 📚 11 cites 5 years ago

R.I.P. 👻 Ghosted

Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts

João Santos Reis, Paul Crocker, Simão Melo de Sousa

cs.PL 🏛 FMBC@CAV 📚 11 cites 6 years ago

R.I.P. 👻 Ghosted

Symbolic Reasoning about Quantum Circuits in Coq

Wenjun Shi, Qinxiang Cao, ... (+3 more)

cs.PL 🏛 J.CST 📚 11 cites 6 years ago

R.I.P. 👻 Ghosted

A Linear Algebra Approach to Linear Metatheory

James Wood, Robert Atkey

cs.PL 🏛 Linearity&TLLA@IJCAR-FSCD 📚 11 cites 6 years ago

R.I.P. 👻 Ghosted

Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates

Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)

cs.PL 🏛 International Joint Conference on Automated Reasoning 📚 11 cites 6 years ago

🌅 🌅 Old Age

On the Principles of Differentiable Quantum Programming Languages

Shaopeng Zhu, Shih-Han Hung, ... (+2 more)

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 11 cites 6 years ago

R.I.P. 👻 Ghosted

Sindarin: A Versatile Scripting API for the Pharo Debugger

Thomas Dupriez, Guillermo Polito, ... (+3 more)

cs.PL 🏛 Dynamic Languages Symposium 📚 11 cites 6 years ago