🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

cs.PL 🏛 ASE 📚 12 cites 6 years ago

R.I.P. 👻 Ghosted

Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"

Sebastian Ertel, Justus Adam, ... (+3 more)

cs.PL 🏛 arXiv 📚 12 cites 6 years ago

R.I.P. 👻 Ghosted

An Introduction to Logical Relations

Lau Skorstengaard

cs.PL 🏛 arXiv 📚 12 cites 6 years ago

R.I.P. 👻 Ghosted

Concolic Testing Heap-Manipulating Programs

Long H. Pham, Quang Loc Le, ... (+2 more)

cs.PL 🏛 FM 📚 12 cites 6 years ago

R.I.P. 👻 Ghosted

Type-Level Computations for Ruby Libraries

Milod Kazerounian, Sankha Narayan Guria, ... (+3 more)

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 12 cites 7 years ago

R.I.P. 👻 Ghosted

Symbolic Exact Inference for Discrete Probabilistic Programs

Steven Holtzen, Todd Millstein, Guy Van den Broeck

cs.PL 🏛 arXiv 📚 12 cites 7 years ago

R.I.P. 👻 Ghosted

Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus

Andreas Abel, Christian Sattler

cs.PL 🏛 ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming 📚 12 cites 7 years ago

R.I.P. 👻 Ghosted

Treo: Textual Syntax for Reo Connectors

Kasper Dokter, Farhad Arbab

cs.PL 🏛 MeTRiD@ETAPS 📚 12 cites 7 years ago

R.I.P. 👻 Ghosted

Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog

Mario Alvarez-Picallo, Alex Eyers-Taylor, ... (+2 more)

cs.PL 🏛 European Symposium on Programming 📚 12 cites 7 years ago

R.I.P. 👻 Ghosted

HSTREAM: A directive-based language extension for heterogeneous stream computing

Suejb Memeti, Sabri Pllana

cs.PL 🏛 ICCSE 📚 12 cites 7 years ago

R.I.P. 👻 Ghosted

Gradual Liquid Type Inference

Niki Vazou, Éric Tanter, David Van Horn

cs.PL 🏛 PACMPL 📚 12 cites 7 years ago

R.I.P. 👻 Ghosted

Java Subtyping as an Infinite Self-Similar Partial Graph Product

Moez A. AbdelGawad

cs.PL 🏛 arXiv 📚 12 cites 8 years ago

R.I.P. 👻 Ghosted

A Proposal for Loop-Transformation Pragmas

Michael Kruse, Hal Finkel

cs.PL 🏛 ICO W 📚 12 cites 8 years ago

R.I.P. 👻 Ghosted

An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing

Shuanglong Kan, Zhe Chen, ... (+3 more)

cs.PL 🏛 arXiv 📚 12 cites 8 years ago

R.I.P. 👻 Ghosted

PIE: A Domain-Specific Language for Interactive Software Development Pipelines

Gabriël Konat, Michael J. Steindorfer, ... (+2 more)

cs.PL 🏛 Programming 📚 12 cites 8 years ago

R.I.P. 👻 Ghosted

What's the Over/Under? Probabilistic Bounds on Information Leakage

Ian Sweet, Jose Manuel Calderon Trilla, ... (+3 more)

cs.PL 🏛 The post 📚 12 cites 8 years ago

R.I.P. 👻 Ghosted

On Asynchrony and Choreographies

Luís Cruz-Filipe, Fabrizio Montesi

cs.PL 🏛 ICE@DisCoTec 📚 12 cites 8 years ago

R.I.P. 👻 Ghosted

A Theory of Slicing for Probabilistic Control-Flow Graphs

Torben Amtoft, Anindya Banerjee

cs.PL 🏛 Foundations of Software Science and Computation Structure 📚 12 cites 8 years ago

R.I.P. 👻 Ghosted

Logical relations for coherence of effect subtyping

Dariusz Biernacki, Piotr Polesiuk

cs.PL 🏛 ICTLCA 📚 12 cites 8 years ago

R.I.P. 👻 Ghosted

Towards a Java Subtyping Operad

Moez A. AbdelGawad

cs.PL 🏛 FTfJP@ECOOP 📚 12 cites 9 years ago

R.I.P. 👻 Ghosted

A Co-contextual Type Checker for Featherweight Java (incl. Proofs)

Edlira Kuci, Sebastian Erdweg, ... (+3 more)

cs.PL 🏛 ECOOP 📚 12 cites 9 years ago

R.I.P. 👻 Ghosted

Languages of Play: Towards semantic foundations for game interfaces

Chris Martens, Matthew A. Hammer

cs.PL 🏛 ICFDG 📚 12 cites 9 years ago

R.I.P. 👻 Ghosted

A Step Towards Checking Security in IoT

Chiara Bodei, Pierpaolo Degano, ... (+2 more)

cs.PL 🏛 ICICE 📚 12 cites 9 years ago

R.I.P. 👻 Ghosted

Eilenberg--Moore Monoids and Backtracking Monad Transformers

Maciej Piróg

cs.PL 🏛 MSFP 📚 12 cites 10 years ago