🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Understanding Profunctor Optics: a representation theorem

Guillaume Boisseau

cs.PL 🏛 arXiv 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

Rocco De Nicola, Gianluigi Ferrari, ... (+2 more)

cs.PL 🏛 ICCML 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

Generalized Property-Directed Reachability for Hybrid Systems

Kohei Suenaga, Takuya Ishizawa

cs.PL 🏛 ICVMCAI 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

A Compositional Framework for Scientific Model Augmentation

Micah Halter, Christine Herlihy, James Fairbanks

cs.PL 🏛 ACT 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?

Yannis Smaragdakis

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

R.I.P. 👻 Ghosted

Language-integrated provenance by trace analysis

Stefan Fehrenbach, James Cheney

cs.PL 🏛 International Workshop/Symposium on Database Programming Languages 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

Deductive Optimization of Relational Data Storage

John K. Feser, Samuel Madden, ... (+2 more)

cs.PL 🏛 PACMPL 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

Modular Inference of Linear Types for Multiplicity-Annotated Arrows

Kazutaka Matsuda

cs.PL 🏛 European Symposium on Programming 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

Memory Safety Preservation for WebAssembly

Marco Vassena, Marco Patrignani

cs.PL 🏛 arXiv 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

Reasoning About Recursive Tree Traversals

Yanjun Wang, Jinwei Liu, ... (+2 more)

cs.PL 🏛 ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

VST-A: A Foundationally Sound Annotation Verifier

Litao Zhou, Jianxing Qin, ... (+3 more)

cs.PL 🏛 PACMPL 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

Stepping OCaml

Tsukino Furukawa, Youyou Cong, Kenichi Asai

cs.PL 🏛 TFPIE@TFP 📚 5 cites 6 years ago

R.I.P. 👻 Ghosted

Reference Capabilities for Safe Parallel Array Programming

Beatrice à kerblom, Elias Castegren, Tobias Wrigstad

cs.PL 🏛 Programming 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)

Peizun Liu, Thomas Wahl, Akash LaL

cs.PL 🏛 CAV 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

Concurrent Typestate-Oriented Programming in Java

Rosita Gerbo, Luca Padovani

cs.PL 🏛 PLACES@ETAPS 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

Event Loops as First-Class Values: A Case Study in Pedagogic Language Design

Joe Politz, Benjamin Lerner, ... (+2 more)

cs.PL 🏛 Programming 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

Comprehensive Multiparty Session Types

Andi Bejleri, Elton Domnori, ... (+3 more)

cs.PL 🏛 Programming 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations

S. Tucker Taft

cs.PL 🏛 Programming 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

Automatic acceleration of Numpy applications on GPUs and multicore CPUs

Mahesh Ravishankar, Vinod Grover

cs.PL 🏛 arXiv 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

Generic Programming in OCaml

Florent Balestrieri, Michel Mauny

cs.PL 🏛 ML/OCAML 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

Optimizing Frameworks Performance Using C++ Modules Aware ROOT

Yuka Takahashi, Vassil Vassilev, ... (+2 more)

cs.PL 🏛 EPJ Web of Conferences 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

Future Directions for Optimizing Compilers

Nuno P. Lopes, John Regehr

cs.PL 🏛 arXiv 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

Proving Type Class Laws for Haskell

Andreas Arvidsson, Moa Johansson, Robin Touche

cs.PL 🏛 ICTFP 📚 5 cites 7 years ago

R.I.P. 👻 Ghosted

A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference

Petros Papapanagiotou, Jacques Fleuriot

cs.PL 🏛 International Workshop/Symposium on Logic-based Program Synthesis and Transformation 📚 5 cites 7 years ago