R.I.P.
👻
Ghosted
🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3799
Total Papers
3450
No Code
30
Twilight
319
Has Code
8.4%
Survival Rate
R.I.P.
👻
Ghosted
Type-based Qubit Allocation for a First-Order Quantum Programming Language
R.I.P.
👻
Ghosted
A fixed point theorem for COFEs
R.I.P.
👻
Ghosted
Comparative Analysis of Widely use Object-Oriented Languages
R.I.P.
👻
Ghosted
Generate Compilers from Hardware Models!
R.I.P.
👻
Ghosted
Egglog Python: A Pythonic Library for E-graphs
R.I.P.
👻
Ghosted
Notes on Refactoring Exponential Macros in Common Lisp
R.I.P.
👻
Ghosted
String Diagrams with Factorized Densities
R.I.P.
👻
Ghosted
Resource Specifications for Resource-Manipulating Programs
R.I.P.
👻
Ghosted
A Declarative Validator for GSOS Languages
R.I.P.
👻
Ghosted
Communicating Actor Automata -- Modelling Erlang Processes as Communicating Machines
R.I.P.
👻
Ghosted
Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
R.I.P.
👻
Ghosted
Tracing OCaml Programs
R.I.P.
👻
Ghosted
Cutting the Cake: A Language for Fair Division
R.I.P.
👻
Ghosted
Responsive Parallelism with Synchronization
R.I.P.
👻
Ghosted
Unifying Linearity and Dependency Analyses
R.I.P.
👻
Ghosted
Topologically sorting VDM-SL definitions for Isabelle/HOL translation
R.I.P.
👻
Ghosted
Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp
R.I.P.
👻
Ghosted
Modularity and Separate Compilation in Logic Programming
R.I.P.
👻
Ghosted
Modelling Chess in VDM++
R.I.P.
👻
Ghosted
Full Abstraction for Free
R.I.P.
👻
Ghosted
Demystifying What Code Summarization Models Learned
R.I.P.
👻
Ghosted
Separated and Shared Effects in Higher-Order Languages
R.I.P.
👻
Ghosted