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
Semantics of a Relational λ-Calculus (Extended Version)
R.I.P.
👻
Ghosted
Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions
R.I.P.
👻
Ghosted
Proceedings 13th Interaction and Concurrency Experience
R.I.P.
👻
Ghosted
Transition-Oriented Programming: Developing Provably Correct Systems
R.I.P.
👻
Ghosted
Disjunctive Delimited Control
R.I.P.
👻
Ghosted
On Architecture to Architecture Mapping for Concurrency
R.I.P.
👻
Ghosted
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs
R.I.P.
👻
Ghosted
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)
R.I.P.
👻
Ghosted
Building Application-Specific Overlays on FPGAs with High-Level Customizable IPs
R.I.P.
👻
Ghosted
Formally Verified Transformation of Non-binary Constraints into Binary Constraints
R.I.P.
👻
Ghosted
Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming
R.I.P.
👻
Ghosted
Smoothly Navigating between Functional Reactive Programming and Actors
R.I.P.
👻
Ghosted
Implementing backjumping by throw/1 and catch/3 of Prolog
R.I.P.
👻
Ghosted
Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education
R.I.P.
👻
Ghosted
Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning
R.I.P.
👻
Ghosted
An Experiment Combining Specialization with Abstract Interpretation
R.I.P.
👻
Ghosted
Optimizing Program Size Using Multi-result Supercompilation
R.I.P.
👻
Ghosted
GPP, the Generic Preprocessor
R.I.P.
👻
Ghosted
Reversible Debugging in Logic Programming
R.I.P.
👻
Ghosted
On Solving Word Equations via Program Transformation
R.I.P.
👻
Ghosted
Program algebra for random access machine programs
R.I.P.
👻
Ghosted
Software Transactional Memory with Interactions
R.I.P.
👻
Ghosted