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
Truly Visual Polymorphic Algebraic Data Structures through Maramafication
R.I.P.
👻
Ghosted
Parametric Denotational Semantics for Extensible Language Definition and Program Analysis
R.I.P.
👻
Ghosted
Object-oriented design for massively parallel computing
R.I.P.
👻
Ghosted
On the extreme power of nonstandard programming languages
R.I.P.
👻
Ghosted
Implementing Linking in Multiparty Sessions (Extended Abstract)
R.I.P.
👻
Ghosted
Beyond Structured Programming
R.I.P.
👻
Ghosted
A Theory of Lazy Imperative Timing
R.I.P.
👻
Ghosted
Deriving sorting algorithms via abductive logic program transformation
R.I.P.
👻
Ghosted
Pre-proceedings of the 26th International Workshop on Functional and Logic Programming (WFLP 2018)
R.I.P.
👻
Ghosted
Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures
R.I.P.
👻
Ghosted
Non-linear Pattern Matching with Backtracking for Non-free Data Types
R.I.P.
👻
Ghosted
Memory Consistency Models using Constraints
R.I.P.
👻
Ghosted
A Short Note on Collecting Dependently Typed Values
R.I.P.
👻
Ghosted
Making Bubbling Practical
R.I.P.
👻
Ghosted
Enhancing POI testing approach through the use of additional information
R.I.P.
👻
Ghosted
FMS: Functional Programming as a Modelling Language
R.I.P.
👻
Ghosted
Transpiling Programmable Computable Functions to Answer Set Programs
R.I.P.
👻
Ghosted
A Simple Methodology for Computing Families of Algorithms
R.I.P.
👻
Ghosted
A prototype-based approach to object reclassification
R.I.P.
👻
Ghosted
Predicate Specialization for Definitional Higher-order Logic Programs
R.I.P.
👻
Ghosted
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming
R.I.P.
👻
Ghosted
Methodic of joint using the tools of automation of lexical and parsing analysis in the process of teaching the programming theory of future informatics teachers
R.I.P.
👻
Ghosted