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
Optimal Learning of Specifications from Examples
R.I.P.
👻
Ghosted
Leveraging the Potential of Control-Flow Error Resilient Techniques in Multithreaded Programs
R.I.P.
👻
Ghosted
Horn Binary Serialization Analysis
R.I.P.
👻
Ghosted
On the chemistry of typestate-oriented actors
R.I.P.
👻
Ghosted
Incremental Quantitative Analysis on Dynamic Costs
R.I.P.
👻
Ghosted
From Events to Reactions: A Progress Report
R.I.P.
👻
Ghosted
Proceedings of the Workshop on Continuations
R.I.P.
👻
Ghosted
For-loops in Logic Programming
R.I.P.
👻
Ghosted
Why Nominal-Typing Matters in OOP
R.I.P.
👻
Ghosted
Nominal LCF: A Language for Generic Proof
R.I.P.
👻
Ghosted
Differentially Private Bayesian Programming
R.I.P.
👻
Ghosted
A Study on Features and Limitations of On-line C Compilers
R.I.P.
👻
Ghosted
Proceedings 6th Workshop on Mathematically Structured Functional Programming
📚
📚
The Cartographer
A Survey on Hardware and Software Support for Thread Level Parallelism
R.I.P.
👻
Ghosted
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
R.I.P.
👻
Ghosted
A Specification of Open Transactional Memory for Haskell
R.I.P.
👻
Ghosted
Recollection: an Alternative Restoration Technique for Constraint Programming Systems
R.I.P.
👻
Ghosted
Programmable Restoration Granularity in Constraint Programming
R.I.P.
👻
Ghosted
JikesRVM: Internal Mechanisms Study and Garbage Collection with MMTk
R.I.P.
👻
Ghosted
Reflections on Monadic Lenses
R.I.P.
👻
Ghosted
A Novel Design of a Parallel Machine Learnt Generational Garbage Collector
R.I.P.
👻
Ghosted
Proceedings XV Jornadas sobre Programación y Lenguajes
R.I.P.
👻
Ghosted