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
Ill-Typed Programs Don't Evaluate
R.I.P.
👻
Ghosted
Monitoring Blackbox Implementations of Multiparty Session Protocols
R.I.P.
👻
Ghosted
Coarse-Tuning Models of Code with Reinforcement Learning Feedback
R.I.P.
👻
Ghosted
Step-based checkpointing with high-level algorithmic differentiation
R.I.P.
👻
Ghosted
Differentiable Programming: Efficient Smoothing of Control-Flow-Induced Discontinuities
R.I.P.
👻
Ghosted
Idris TyRE: a dependently typed regex parser
R.I.P.
👻
Ghosted
Synthesizing Conjunctive Queries for Code Search
R.I.P.
👻
Ghosted
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
R.I.P.
👻
Ghosted
The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation in the Wild: An Intellectual Abstract
R.I.P.
👻
Ghosted
Deterministic stream-sampling for probabilistic programming: semantics and verification
R.I.P.
👻
Ghosted
Interval Parsing Grammars for File Format Parsing
R.I.P.
👻
Ghosted
Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code
R.I.P.
👻
Ghosted
Effect Handlers for Programmable Inference
R.I.P.
👻
Ghosted
Multi-graded Featherweight Java
R.I.P.
👻
Ghosted
Builtin Types viewed as Inductive Families
R.I.P.
👻
Ghosted
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction
R.I.P.
👻
Ghosted
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
R.I.P.
👻
Ghosted
Objective Caml for Multicore Architectures
R.I.P.
👻
Ghosted
Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design
R.I.P.
👻
Ghosted
Advanced Graph-Based Deep Learning for Probabilistic Type Inference
R.I.P.
👻
Ghosted
Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars
R.I.P.
👻
Ghosted
On the Performance of Bytecode Interpreters in Prolog
R.I.P.
👻
Ghosted