🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Free Theorems Simply, via Dinaturality

Janis Voigtländer

cs.PL 🏛 DECLARE 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Functional programming with lambda-tree syntax

Ulysse Gérard, Dale Miller, Gabriel Scherer

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

R.I.P. 👻 Ghosted

Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)

Luís Caires, Bernardo Toninho

cs.PL 🏛 PACMPL 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Aquarium: Cassiopea and Alewife Languages

David A. Holland, Jingmei Hu, ... (+4 more)

cs.PL 🏛 arXiv 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Responsibility Analysis by Abstract Interpretation

Chaoqiang Deng, Patrick Cousot

cs.PL 🏛 Sensors Applications Symposium 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

CallE: An Effect System for Method Calls

Isaac Oscar Gariano, James Noble, Marco Servetto

cs.PL 🏛 SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

The Combinatorics of Barrier Synchronization

Olivier Bodini, Matthieu Dien, ... (+2 more)

cs.PL 🏛 Applications and Theory of Petri Nets 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

On the Representation of Partially Specified Implementations and its Application to the Optimization of Linear Algebra Kernels on GPU

Ulysse Beaugnon, Basile Clément, ... (+2 more)

cs.PL 🏛 arXiv 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Reliable State Machines: A Framework for Programming Reliable Cloud Services

Suvam Mukherjee, Nitin John Raj, ... (+6 more)

cs.PL 🏛 ECOOP 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Safely Abstracting Memory Layouts

Juliana Franco, Alexandros Tasos, ... (+3 more)

cs.PL 🏛 arXiv 📚 4 cites 7 years ago

🌅 🌅 Old Age

Fast Flexible Function Dispatch in Julia

Jeff Bezanson, Jake Bolewski, Jiahao Chen

cs.PL 🏛 arXiv 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

A modelling language for the effective design of Java annotations

Irene Córdoba, Juan de Lara

cs.PL 🏛 SAC 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Design and Implementation of Dynamic Memory Management in a Reversible Object-Oriented Programming Language

Martin Holm Cservenka

cs.PL 🏛 arXiv 📚 4 cites 8 years ago

R.I.P. 👻 Ghosted

On the complexity of cache analysis for different replacement policies

David Monniaux, Valentin Touzeau

cs.PL 🏛 J.A 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Semantic subtyping for non-strict languages

Tommaso Petrucciani, Giuseppe Castagna, ... (+2 more)

cs.PL 🏛 Types for Proofs and Programs 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

Emanuele De Angelis, Fabio Fioravanti, ... (+3 more)

cs.PL 🏛 HCVS 📚 4 cites 7 years ago

🌅 🌅 Old Age

Linguistic Relativity and Programming Languages

Jiahao Chen

cs.PL 🏛 arXiv 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Emulating Hybrid Memory on NUMA Hardware

Shoaib Akram, Jennifer B. Sartor, ... (+2 more)

cs.PL 🏛 arXiv 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Sparse Matrix Code Dependence Analysis Simplification at Compile Time

Mahdi Soltan Mohammadi, Kazem Cheshmi, ... (+6 more)

cs.PL 🏛 arXiv 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Bestow and Atomic: Concurrent Programming using Isolation, Delegation and Grouping

Elias Castegren, Joel Wallin, Tobias Wrigstad

cs.PL 🏛 J. Log. Algebraic Methods Program. 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Racets: Faceted Execution in Racket

Kristopher Micinski, Zhanpeng Wang, Thomas Gilray

cs.PL 🏛 EasyChair Preprints 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Constructive Galois Connections

David Darais, David Van Horn

cs.PL 🏛 Journal of functional programming 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

Abstract Representation of Binders in OCaml using the Bindlib Library

Rodolphe Lepigre, Christophe Raffalli

cs.PL 🏛 LFMTP@FSCD 📚 4 cites 7 years ago

R.I.P. 👻 Ghosted

On the Soundness of Coroutines with Snapshots

Aleksandar Prokopec, Fengyun Liu

cs.PL 🏛 arXiv 📚 4 cites 8 years ago