🏛️ 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
Categorization of Program Regions for Agile Compilation using Machine Learning and Hardware Support
R.I.P.
👻
Ghosted
Data Race Prediction for Inaccurate Traces
R.I.P.
👻
Ghosted
Compiler Design for Legal Document Translation in Digital Government
R.I.P.
👻
Ghosted
Synthesizing Functional Reactive Programs
R.I.P.
👻
Ghosted
Partial Redundancy Elimination using Lazy Code Motion
R.I.P.
👻
Ghosted
D2d -- XML for Authors
R.I.P.
👻
Ghosted
Proceedings ML Family / OCaml Users and Developers workshops
R.I.P.
👻
Ghosted
Automatic Syntax Error Reporting and Recovery in Parsing Expression Grammars
R.I.P.
👻
Ghosted
A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping
R.I.P.
👻
Ghosted
Deductive Proof of Ethereum Smart Contracts Using Why3
R.I.P.
👻
Ghosted
Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency
R.I.P.
👻
Ghosted
Sound Invariant Checking Using Type Modifiers and Object Capabilities
R.I.P.
👻
Ghosted
Iteratively Composing Statically Verified Traits
R.I.P.
👻
Ghosted
Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
R.I.P.
👻
Ghosted
Composing bidirectional programs monadically (with appendices)
R.I.P.
👻
Ghosted
Staging Human-computer Dialogs: An Application of the Futamura Projections
R.I.P.
👻
Ghosted
Certificate Enhanced Data-Flow Analysis
R.I.P.
👻
Ghosted
Proceedings 4th Workshop on Formal Integrated Development Environment
R.I.P.
👻
Ghosted
Refining Santa: An Exercise in Efficient Synchronization
R.I.P.
👻
Ghosted
AppIntent: Intuitive Automation Specification Framework for Mobile AppTesting
R.I.P.
👻
Ghosted
Programming Requests/Responses with GreatFree in the Cloud Environment
R.I.P.
👻
Ghosted
DynaSOAr: Accelerating Single-Method Multiple-Objects Applications on GPUs
R.I.P.
👻
Ghosted