🏛️ 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
Functional programming with lambda-tree syntax
R.I.P.
👻
Ghosted
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)
R.I.P.
👻
Ghosted
Aquarium: Cassiopea and Alewife Languages
R.I.P.
👻
Ghosted
Responsibility Analysis by Abstract Interpretation
R.I.P.
👻
Ghosted
CallE: An Effect System for Method Calls
R.I.P.
👻
Ghosted
The Combinatorics of Barrier Synchronization
R.I.P.
👻
Ghosted
On the Representation of Partially Specified Implementations and its Application to the Optimization of Linear Algebra Kernels on GPU
R.I.P.
👻
Ghosted
Reliable State Machines: A Framework for Programming Reliable Cloud Services
R.I.P.
👻
Ghosted
Safely Abstracting Memory Layouts
🌅
🌅
Old Age
Fast Flexible Function Dispatch in Julia
R.I.P.
👻
Ghosted
A modelling language for the effective design of Java annotations
R.I.P.
👻
Ghosted
Design and Implementation of Dynamic Memory Management in a Reversible Object-Oriented Programming Language
R.I.P.
👻
Ghosted
On the complexity of cache analysis for different replacement policies
R.I.P.
👻
Ghosted
Semantic subtyping for non-strict languages
R.I.P.
👻
Ghosted
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
🌅
🌅
Old Age
Linguistic Relativity and Programming Languages
R.I.P.
👻
Ghosted
Emulating Hybrid Memory on NUMA Hardware
R.I.P.
👻
Ghosted
Sparse Matrix Code Dependence Analysis Simplification at Compile Time
R.I.P.
👻
Ghosted
Bestow and Atomic: Concurrent Programming using Isolation, Delegation and Grouping
R.I.P.
👻
Ghosted
Racets: Faceted Execution in Racket
R.I.P.
👻
Ghosted
Constructive Galois Connections
R.I.P.
👻
Ghosted
Abstract Representation of Binders in OCaml using the Bindlib Library
R.I.P.
👻
Ghosted