🏛️ 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
R.I.P.
👻
Ghosted
Tree Notation: an antifragile program notation
R.I.P.
👻
Ghosted
On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping
R.I.P.
👻
Ghosted
Practical Magick with C, PDL, and PDL::PP -- a guide to compiled add-ons for PDL
R.I.P.
👻
Ghosted
A Performance Analysis of Simple Runtime System for Actor Programming in C++
R.I.P.
👻
Ghosted
Specialization of Generic Array Accesses After Inlining
R.I.P.
👻
Ghosted
Dependent Types for Multi-Rate Flows in Synchronous Programming
R.I.P.
👻
Ghosted
Proceedings ML Family / OCaml Users and Developers workshops
R.I.P.
👻
Ghosted
ParseIT: A Question-Answer based Tool to Learn Parsing Techniques
R.I.P.
👻
Ghosted
Model Checking of Cache for WCET Analysis Refinement
R.I.P.
👻
Ghosted
Local Modules in Imperative Languages
R.I.P.
👻
Ghosted
A Concurrent Model for Imperative Languages with Improved Atomicity
R.I.P.
👻
Ghosted
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation
R.I.P.
👻
Ghosted
Self-composable Programming
R.I.P.
👻
Ghosted
Self-Similarity Breeds Resilience
R.I.P.
👻
Ghosted
Data as processes: introducing measurement data into CARMA models
R.I.P.
👻
Ghosted
Proceedings of the Fourth International Workshop on Verification and Program Transformation
R.I.P.
👻
Ghosted
Multidimensional Predicates for Prolog
R.I.P.
👻
Ghosted
Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures
R.I.P.
👻
Ghosted
Parameterized Dataflow (Extended Abstract)
R.I.P.
👻
Ghosted
A General Framework for Static Profiling of Parametric Resource Usage
R.I.P.
👻
Ghosted
Program Execution on Reconfigurable Multicore Architectures
R.I.P.
👻
Ghosted
Intuitionistic Logic Programming for SQL (Extended Abstract)
R.I.P.
👻
Ghosted