R.I.P.
👻
Ghosted
🏛️ 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
Equational Reasoning for MTL Type Classes
R.I.P.
👻
Ghosted
A Proposal for a Revision of ISO Modula-2
R.I.P.
👻
Ghosted
Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning
R.I.P.
👻
Ghosted
CC-Light eQASM Architecture Specification
R.I.P.
👻
Ghosted
Choral: Object-Oriented Choreographic Programming
R.I.P.
👻
Ghosted
Monads and "do" notation in the Wolfram Language
R.I.P.
👻
Ghosted
A Generating-Extension-Generator for Machine Code
R.I.P.
👻
Ghosted
Session Types with Arithmetic Refinements
R.I.P.
👻
Ghosted
Proceedings Eighth Workshop on Mathematically Structured Functional Programming
R.I.P.
👻
Ghosted
Compilation of Coordinated Choice
R.I.P.
👻
Ghosted
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis
R.I.P.
👻
Ghosted
Egel -- Graph Rewriting with a Twist
R.I.P.
👻
Ghosted
Speeding-up Logic Design and Refining Hardware EDA Flow by Exploring Chinese Character based Graphical Representation
R.I.P.
👻
Ghosted
Temporal Logic of Composable Distributed Components
R.I.P.
👻
Ghosted
Why You Cannot (Yet) Write an "Interval Arithmetic" Library in Common Lisp
R.I.P.
👻
Ghosted
Security Wrappers for Information-Flow Control in Active Object Languages with Futures
R.I.P.
👻
Ghosted
Back to Futures
R.I.P.
👻
Ghosted
PaSe: An Extensible and Inspectable DSL for Micro-Animations
R.I.P.
👻
Ghosted
PolyScientist: Automatic Loop Transformations Combined with Microkernels for Optimization of Deep Learning Primitives
R.I.P.
👻
Ghosted
Patterns for Name Analysis and Type Analysis with JastAdd
R.I.P.
👻
Ghosted
Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond
R.I.P.
👻
Ghosted
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems
R.I.P.
👻
Ghosted