🏛️ The Programming Languages Crypt
cs.PL: Where Programming Languages papers rest without their code.
3783
Total Papers
3450
No Code
30
Twilight
303
Has Code
8.0%
Survival Rate
R.I.P.
👻
Ghosted
R.I.P.
👻
Ghosted
Lexicographic Ranking Supermartingales with Lazy Lower Bounds
R.I.P.
👻
Ghosted
The Quantum Effect: A Recipe for QuantumPi
R.I.P.
👻
Ghosted
Automatic Alignment in Higher-Order Probabilistic Programming Languages
R.I.P.
👻
Ghosted
Giving Semantics to Program-Counter Labels via Secure Effects
R.I.P.
👻
Ghosted
Describing Console I/O Behavior for Testing Student Submissions in Haskell
R.I.P.
👻
Ghosted
Generating Interactive WebSocket Applications in TypeScript
R.I.P.
👻
Ghosted
lospre in linear time
R.I.P.
👻
Ghosted
User-Centered Programming Language Design: A Course-Based Case Study
R.I.P.
👻
Ghosted
Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework
R.I.P.
👻
Ghosted
Relating Functional and Imperative Session Types
R.I.P.
👻
Ghosted
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version)
R.I.P.
👻
Ghosted
Automatically Deriving Control-Flow Graph Generators from Operational Semantics
R.I.P.
👻
Ghosted
Static Race Detection for RTOS Applications
R.I.P.
👻
Ghosted
Sampling Optimized Code for Type Feedback
R.I.P.
👻
Ghosted
HACCLE: Metaprogramming for Secure Multi-Party Computation -- Extended Version
R.I.P.
👻
Ghosted
Constraint-Logic Object-Oriented Programming with Free Arrays
R.I.P.
👻
Ghosted
Effects for Efficiency: Asymptotic Speedup with First-Class Control
R.I.P.
👻
Ghosted
NetPyNE implementation and rescaling of the Potjans-Diesmanncortical microcircuit model
R.I.P.
👻
Ghosted
Reconciling progress-insensitive noninterference and declassification
R.I.P.
👻
Ghosted
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
R.I.P.
👻
Ghosted
Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version)
R.I.P.
👻
Ghosted
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
R.I.P.
👻
Ghosted