🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Generic Reduction-Based Interpreters (Extended Version)

Casper Bach

cs.PL 🏛 arXiv 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Invertible Syntax without the Tuples (Functional Pearl)

Mathieu Boespflug, Arnaud Spiwack

cs.PL 🏛 arXiv 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Checking Consistency of Event-driven Traces

Parosh Aziz Abdulla, Mohamed Faouzi Atig, ... (+3 more)

cs.PL 🏛 Asian Symposium on Programming Languages and Systems 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Hybrid Game Control Envelope Synthesis

Aditi Kabra, Jonathan Laurent, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

StackPilot: Autonomous Function Agents for Scalable and Environment-Free Code Execution

Xinkui Zhao, Yifan Zhang, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Weak Memory Model Formalisms: Introduction and Survey

Roger C. Su, Robert J. Colvin

cs.PL 🏛 Concurrency and Computation 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

A Type System for Data Privacy Compliance in Active Object Languages

Chinmayi Prabhu Baramashetru, Paola Giannini, ... (+2 more)

cs.PL 🏛 Programming 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

If-T: A Benchmark for Type Narrowing

Hanwen Guo, Ben Greenman

cs.PL 🏛 Programming 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Teaching Introductory Functional Programming Using Haskelite

Pedro Vasconcelos

cs.PL 🏛 TFPiE 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Compositional Quantum Control Flow with Efficient Compilation in Qunity

Mikhail Mints, Finn Voichick, ... (+2 more)

cs.PL 🏛 PACMPL 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Proceedings 14th International Workshop on Trends in Functional Programming in Education

Rose Bohrer

cs.PL 🏛 EPTCS 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Efficient compilation and execution of synchronous programs via type-state programming

Avinash Malik

cs.PL 🏛 FM 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations

Mikel Vandeloise

cs.PL 🏛 arXiv 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Semantic Subtyping for Maps in Erlang

Erdem Yildirim, Albert Schimpf, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Automated Type Annotation in Python Using Large Language Models

Varun Bharti, Shashwat Jha, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 10 months ago

R.I.P. 👻 Ghosted

Abstractions of Sequences, Functions and Operators

Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo

cs.PL 🏛 arXiv 📚 0 cites 11 months ago

R.I.P. 👻 Ghosted

Composable Effect Handling for Programming LLM-integrated Scripts

Di Wang

cs.PL 🏛 Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages 📚 0 cites 11 months ago

R.I.P. 👻 Ghosted

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm

Yong Qi Foo, Brian Sze-Kai Cheong, Michael D. Adams

cs.PL 🏛 arXiv 📚 0 cites 11 months ago

R.I.P. 👻 Ghosted

A Programming Language for Feasible Solutions

Weijun Chen, Yuxi Fu, Huan Long

cs.PL 🏛 Sensors Applications Symposium 📚 0 cites 11 months ago

R.I.P. 👻 Ghosted

Extended Abstract: Mutable Objects with Several Implementations

Matt Kaufmann, Yahya Sohail, Warren A. Hunt

cs.PL 🏛 EPTCS 423, 2025, pp. 60-64 📚 0 cites 11 months ago

R.I.P. 👻 Ghosted

Higher-Order Behavioural Conformances via Fibrations

Henning Urbat

cs.PL 🏛 PACMPL 📚 0 cites 11 months ago

R.I.P. 👻 Ghosted

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs

Marco Ciccalè, Daniel Jurjo-Rivas, ... (+3 more)

cs.PL 🏛 TPLP 📚 0 cites 11 months ago

R.I.P. 👻 Ghosted

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs

Xuran Cai

cs.PL 🏛 arXiv 📚 0 cites 11 months ago

R.I.P. 👻 Ghosted

Understanding Haskell-style Overloading via Open Data and Open Functions

Andrew Marmaduke, Apoorv Ingle, J. Garrett Morris

cs.PL 🏛 arXiv 📚 0 cites 11 months ago