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
Introduction to OXPath
R.I.P.
👻
Ghosted
Reasoning about Polymorphic Manifest Contracts
R.I.P.
👻
Ghosted
Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation
R.I.P.
👻
Ghosted
Productively Expressing High-performance Spatial Designs of Givens Rotation-based QR Decomposition Algorithm
R.I.P.
👻
Ghosted
Proofs and Programs about Open Terms
R.I.P.
👻
Ghosted
π: Towards a Simple Formal Semantic Framework for Compiler Construction
R.I.P.
👻
Ghosted
Proceedings Sixth Workshop on Trends in Functional Programming in Education
R.I.P.
👻
Ghosted
Index-Stratified Types (Extended Version)
R.I.P.
👻
Ghosted
EBG: A Lazy Functional Programming Language Implemented on the Java Virtual Machine
R.I.P.
👻
Ghosted
Symbolical Index Reduction and Completion Rules for Importing Tensor Index Notation into Programming Languages
R.I.P.
👻
Ghosted
Higher-Order Bounded Model Checking
R.I.P.
👻
Ghosted
The process of purely event-driven programs
R.I.P.
👻
Ghosted
Lisp, Jazz, Aikido -- Three Expressions of a Single Essence
R.I.P.
👻
Ghosted
Program Repair via Direct State Manipulation
R.I.P.
👻
Ghosted
Tracing sharing in an imperative pure calculus (Extended Version)
R.I.P.
👻
Ghosted
Reducing Lambda Terms with Traversals
R.I.P.
👻
Ghosted
Technical Report about Tiramisu: a Three-Layered Abstraction for Hiding Hardware Complexity from DSL Compilers
R.I.P.
👻
Ghosted
Tornado: A Practical And Efficient Heterogeneous Programming Framework For Managed Languages
R.I.P.
👻
Ghosted
Implementing distributed λ-calculus interpreter
R.I.P.
👻
Ghosted
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting
R.I.P.
👻
Ghosted
A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras
R.I.P.
👻
Ghosted
The Effect Race in Fine-Grained Concurrency
R.I.P.
👻
Ghosted