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
Foundational Verification of Smart Contracts through Verified Compilation
R.I.P.
👻
Ghosted
The Fearless Journey [Draft]
R.I.P.
👻
Ghosted
MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
R.I.P.
👻
Ghosted
Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
R.I.P.
👻
Ghosted
A Coq Library of Sets for Teaching Denotational Semantics
R.I.P.
👻
Ghosted
From Batch to Stream: Automatic Generation of Online Algorithms
R.I.P.
👻
Ghosted
Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
R.I.P.
👻
Ghosted
ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
R.I.P.
👻
Ghosted
Towards Fixed-Point Formats Determination for Faust Programs
R.I.P.
👻
Ghosted
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
R.I.P.
👻
Ghosted
Strong Priority and Determinacy in Timed CCS
R.I.P.
👻
Ghosted
Cognacy Queries over Dependence Graphs for Transparent Visualisations
R.I.P.
👻
Ghosted
Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems
R.I.P.
👻
Ghosted
Dr Wenowdis: Specializing dynamic language C extensions using type information
R.I.P.
👻
Ghosted
Reactive Programming without Functions
R.I.P.
👻
Ghosted
Weak-linearity, globality and in-place update
R.I.P.
👻
Ghosted
Weak-Linear Types
R.I.P.
👻
Ghosted
A Cartesian Closed Category for Random Variables
R.I.P.
👻
Ghosted
The Vienna Architecture Description Language
R.I.P.
👻
Ghosted
Scoped Effects as Parameterized Algebraic Theories
R.I.P.
👻
Ghosted
Enhancing Translation Validation of Compiler Transformations with Large Language Models
R.I.P.
👻
Ghosted
C Analyzer : A Static Program Analysis Tool for C Programs
R.I.P.
👻
Ghosted