🏛️ 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
Curious properties of latency distributions
R.I.P.
👻
Ghosted
Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking
R.I.P.
👻
Ghosted
Towards a more perfect union type
R.I.P.
👻
Ghosted
PPL Bench: Evaluation Framework For Probabilistic Programming Languages
R.I.P.
👻
Ghosted
Psamathe: A DSL with Flows for Safe Blockchain Assets
R.I.P.
👻
Ghosted
A Type-Oriented Graph500 Benchmark
R.I.P.
👻
Ghosted
Applying Type Oriented Programming to the PGAS Memory Model
R.I.P.
👻
Ghosted
Substructural Observed Communication Semantics
R.I.P.
👻
Ghosted
Compiling a Higher-Order Smart Contract Language to LLVM
R.I.P.
👻
Ghosted
Retrofitting Symbolic Holes to LLVM IR
R.I.P.
👻
Ghosted
Interactive Music and Synchronous Reactive Programming
R.I.P.
👻
Ghosted
Sham: A DSL for Fast DSLs
R.I.P.
👻
Ghosted
Efficient lambda encodings for Mendler-style coinductive types in Cedille
R.I.P.
👻
Ghosted
Reducing Commutativity Verification to Reachability with Differencing Abstractions
R.I.P.
👻
Ghosted
Context-Aware Parse Trees
R.I.P.
👻
Ghosted
Language-Integrated Updatable Views (Extended version)
R.I.P.
👻
Ghosted
Improving the GP 2 Compiler
R.I.P.
👻
Ghosted
Verification of a Generative Separation Kernel
R.I.P.
👻
Ghosted
Predicting Variable Types in Dynamically Typed Programming Languages
R.I.P.
👻
Ghosted
LLOV: A Fast Static Data-Race Checker for OpenMP Programs
R.I.P.
👻
Ghosted
Profiling minisat based on user defined execution time -- GPROF
R.I.P.
👻
Ghosted
parboiled2: a macro-based approach for effective generators of parsing expressions grammars in Scala
R.I.P.
👻
Ghosted