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
An Incremental Slicing Method for Functional Programs
R.I.P.
👻
Ghosted
Towards Runtime Adaptation of Actor Systems
R.I.P.
👻
Ghosted
Type Safe Redis Queries: A Case Study of Type-Level Programming in Haskell
R.I.P.
👻
Ghosted
The Unfolding Semantics of Functional Programs
R.I.P.
👻
Ghosted
Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017)
R.I.P.
👻
Ghosted
Transforming Coroutining Logic Programs into Equivalent CHR Programs
R.I.P.
👻
Ghosted
Extracting Formal Specifications to Strenghten Type Behaviour Testing
R.I.P.
👻
Ghosted
On-Stack Replacement à la Carte
R.I.P.
👻
Ghosted
Deriving Law-Abiding Instances
R.I.P.
👻
Ghosted
On the Learnability of Programming Language Semantics
R.I.P.
👻
Ghosted
An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism
R.I.P.
👻
Ghosted
A monadic solution to the Cartwright-Felleisen-Wadler conjecture
R.I.P.
👻
Ghosted
Refinable Function : An Object-oriented Approach to Procedure Modularity
R.I.P.
👻
Ghosted
Applying the Polyhedral Model to Tile Time Loops in Devito
R.I.P.
👻
Ghosted
Alignment Elimination from Adams' Grammars
R.I.P.
👻
Ghosted
Generic Approach to Certified Static Checking of Module-like Constructs
R.I.P.
👻
Ghosted
Computational Thinking in Patch
R.I.P.
👻
Ghosted
Efficient Textual Representation of Structure
R.I.P.
👻
Ghosted
Verifying Programs via Intermediate Interpretation
R.I.P.
👻
Ghosted
A Constructive Framework for Galois Connections
R.I.P.
👻
Ghosted
Inferring Types for Parallel Programs
R.I.P.
👻
Ghosted
Towards an Empirical Study of Affine Types for Isolated Actors in Scala
R.I.P.
👻
Ghosted