R.I.P.
👻
Ghosted
🏛️ 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
On Repair with Probabilistic Attribute Grammars
R.I.P.
👻
Ghosted
Kleene Algebra Modulo Theories
R.I.P.
👻
Ghosted
Intensionality, Intensional Recursion, and the Gödel-Löb axiom
R.I.P.
👻
Ghosted
DeepDSL: A Compilation-based Domain-Specific Language for Deep Learning
R.I.P.
👻
Ghosted
Using SyGuS to Synthesize Reactive Motion Plans
R.I.P.
👻
Ghosted
Higher-Order Linearisability
R.I.P.
👻
Ghosted
Coinductive Soundness of Corecursive Type Class Resolution
R.I.P.
👻
Ghosted
$μ$Puppet: A Declarative Subset of the Puppet Configuration Language
R.I.P.
👻
Ghosted
Renaming Global Variables in C Mechanically Proved Correct
R.I.P.
👻
Ghosted
Enforcing Termination of Interprocedural Analysis
R.I.P.
👻
Ghosted
Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators
R.I.P.
👻
Ghosted
Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
R.I.P.
👻
Ghosted
Modelling homogeneous generative meta-programming
R.I.P.
👻
Ghosted
Improving Type Error Messages in OCaml
R.I.P.
👻
Ghosted
A declarative extension of parsing expression grammars for recognizing most programming languages
R.I.P.
👻
Ghosted
A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs
R.I.P.
👻
Ghosted
Trust, but Verify: Two-Phase Typing for Dynamic Languages
R.I.P.
👻
Ghosted
Loo.py: From Fortran to performance via transformation and substitution rules
R.I.P.
👻
Ghosted
Where Did My Variable Go? Poking Holes in Incomplete Debug Information
R.I.P.
👻
Ghosted
LabVIEW is faster and C is economical interfacing tool for UCT automation
R.I.P.
👻
Ghosted
TensorRight: Automated Verification of Tensor Graph Rewrites
R.I.P.
👻
Ghosted
Characterizing Implementability of Global Protocols with Infinite States and Data
R.I.P.
👻
Ghosted