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
Consistency types for replicated data in a higher-order distributed programming language
R.I.P.
👻
Ghosted
The Semantics of Rank Polymorphism
R.I.P.
👻
Ghosted
Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics
R.I.P.
👻
Ghosted
Java Generics: An Order-Theoretic Approach (Abridged Outline)
R.I.P.
👻
Ghosted
A Role for Dependent Types in Haskell (Extended version)
R.I.P.
👻
Ghosted
Sub-Turing Islands in the Wild
R.I.P.
👻
Ghosted
An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics
R.I.P.
👻
Ghosted
Reductions for Automated Hypersafety Verification
R.I.P.
👻
Ghosted
Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015)
R.I.P.
👻
Ghosted
Extending OCaml's 'open'
R.I.P.
👻
Ghosted
TryLinks: An interactive tutorial system for a cross-tier Web programming language
R.I.P.
👻
Ghosted
Targeted Synthesis for Programming with Data Invariants
R.I.P.
👻
Ghosted
SafeStrings: Representing Strings as Structured Data
R.I.P.
👻
Ghosted
From Theory to Systems: A Grounded Approach to Programming Language Education
R.I.P.
👻
Ghosted
Service Equivalence via Multiparty Session Type Isomorphisms
R.I.P.
👻
Ghosted
The Cpi-calculus: a Model for Confidential Name Passing
R.I.P.
👻
Ghosted
Separating Use and Reuse to Improve Both
R.I.P.
👻
Ghosted
CRAQL: A Composable Language for Querying Source Code
R.I.P.
👻
Ghosted
Information flow in a distributed security setting
R.I.P.
👻
Ghosted
Whittemore: An embedded domain specific language for causal programming
R.I.P.
👻
Ghosted
Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm
R.I.P.
👻
Ghosted
Data-Flow Guided Slicing
R.I.P.
👻
Ghosted