🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Debugging Trait Errors as Logic Programs

Gavin Gray, Will Crichton

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

EXPRESSing Session Types

Ilaria Castellani, Ornela Dardha, ... (+2 more)

cs.PL 🏛 Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics

Long Pham, Jan Hoffmann

cs.PL 🏛 Log. Methods Comput. Sci. 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Developing a Compiler for EROP -- A Language for the Specification of Smart Contracts, An Experience Report

Adrian Delchev, Ioannis Sfyrakis, Ellis Solaiman

cs.PL 🏛 arXiv 📚 0 cites 3 years ago

R.I.P. 👻 Ghosted

Data-Driven Template-Free Invariant Generation

Yuan Xia, Jyotirmoy V. Deshmukh, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Probabilistic Programming with Exact Conditions

Dario Stein, Sam Staton

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version)

Azalea Raad, Ori Lahav, ... (+3 more)

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

LoKit (revisited): A Toolkit for Building Distributed Collaborative Applications

Uwe M. Borghoff

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)

Jessie Galasso-Carbonnel, Chico Sundermann

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

A functional scripting interface to an object oriented C++ library

Markus Kloimwieder, Christoph Gadermaier

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

ACPO: AI-Enabled Compiler Framework

Amir H. Ashouri, Muhammad Asif Manzoor, ... (+8 more)

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Ownership Types for Verification of Programs with Pointer Arithmetic

Izumi Tanaka, Ken Sakayori, Naoki Kobayashi

cs.PL 🏛 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

An Irredundant Decomposition of Data Flow with Affine Dependences

Corentin Ferry, Steven Derrien, Sanjay Rajopadhye

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Optimistic Global Function Merger

Kyungwoo Lee, Manman Ren, Ellis Hoag

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

From High to Low: Simulating Nondeterminism and State with State

Wenhao Tang, Tom Schrijvers

cs.PL 🏛 Journal of functional programming 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

SimPLoID: Harnessing probabilistic logic programming for infectious disease epidemiology

Felix Weitkämper, Ameen Almiftah, Kailin Sun

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Bidirectional Reactive Programming for Machine Learning

Dumitru Potop Butucaru, Albert Cohen, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Typed compositional quantum computation with lenses

Jacques Garrigue, Takafumi Saikawa

cs.PL 🏛 ICITP 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Anyone Can Code: Algorithmic Thinking

Ali Arya

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

State of structural typing support in Scala 3.3.0

Julien Richard-Foy

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Contextual Refinement Types

Antoine Gaulin, Brigitte Pientka

cs.PL 🏛 LFMTP@FSCD 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Semi-Automation of Meta-Theoretic Proofs in Beluga

Johanna Schwartzentruber, Brigitte Pientka

cs.PL 🏛 LFMTP@FSCD 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Sidekick compilation with xDSL

Mathieu Fehr, Michel Weber, ... (+6 more)

cs.PL 🏛 arXiv 📚 0 cites 2 years ago

R.I.P. 👻 Ghosted

Pipelines and Beyond: Graph Types for ADTs with Futures

Francis Rinaldi, june wunder, ... (+2 more)

cs.PL 🏛 PACMPL 📚 0 cites 2 years ago