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
Experiments with a PCCoder extension
R.I.P.
👻
Ghosted
Recursion, Probability, Convolution and Classification for Computations
R.I.P.
👻
Ghosted
Implicit Recursive Characteristics of STOP
R.I.P.
👻
Ghosted
Using Prolog for Transforming XML Documents
R.I.P.
👻
Ghosted
Análise de Segurança Baseada em Roles para Fábricas de Software
R.I.P.
👻
Ghosted
Programming with Applicative-like expressions
R.I.P.
👻
Ghosted
A Quick Introduction to Functional Verification of Array-Intensive Programs
R.I.P.
👻
Ghosted
Introduction to Rank-polymorphic Programming in Remora (Draft)
R.I.P.
👻
Ghosted
Model-Based Warp Overlapped Tiling for Image Processing Programs on GPUs
R.I.P.
👻
Ghosted
Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software
R.I.P.
👻
Ghosted
Optimizing Space of Parallel Processes
R.I.P.
👻
Ghosted
Type-safe, Polyvariadic Event Correlation
R.I.P.
👻
Ghosted
QuB: A Resource Aware Functional Programming Language
R.I.P.
👻
Ghosted
Approximations in Probabilistic Programs
R.I.P.
👻
Ghosted
GOOL: A Generic Object-Oriented Language (extended version)
R.I.P.
👻
Ghosted
Formal Foundations of Continuous Graph Processing
R.I.P.
👻
Ghosted
Gemini: A Functional Programming Language for Hardware Description
R.I.P.
👻
Ghosted
Implementing choreography extraction
R.I.P.
👻
Ghosted
Transparent Synchronous Dataflow
R.I.P.
👻
Ghosted
Trading off Complexity for Expressiveness in Programming Languages: Visions and Preliminary Experiences
R.I.P.
👻
Ghosted
Mμl: The Power of Dynamic Multi-Methods
R.I.P.
👻
Ghosted
Automated Verification of Integer Overflow
R.I.P.
👻
Ghosted