🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Proving Non-Deterministic Computations in Agda

Sergio Antoy, Michael Hanus, Steven Libby

cs.PL 🏛 WLP / WFLP 📚 10 cites 9 years ago

R.I.P. 👻 Ghosted

Reliability and Fault-Tolerance by Choreographic Design

Ian Cassar, Adrian Francalanza, ... (+2 more)

cs.PL 🏛 PrePost@iFM 📚 10 cites 8 years ago

R.I.P. 👻 Ghosted

On the decidability of the existence of polyhedral invariants in transition systems

David Monniaux

cs.PL 🏛 Acta Informatica 📚 10 cites 8 years ago

R.I.P. 👻 Ghosted

Bonsai: Synthesis-Based Reasoning for Type Systems

Kartik Chandra, Rastislav Bodik

cs.PL 🏛 PACMPL 📚 10 cites 8 years ago

R.I.P. 👻 Ghosted

Checking Linearizability of Concurrent Priority Queues

Ahmed Bouajjani, Constantin Enea, Chao Wang

cs.PL 🏛 CONCUR 📚 10 cites 8 years ago

R.I.P. 👻 Ghosted

Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing

Oleg Kiselyov

cs.PL 🏛 ML Family/OCaml 📚 10 cites 9 years ago

R.I.P. 👻 Ghosted

Towards Trustworthy Refactoring in Erlang

Dániel Horpácsi, Judit Kőszegi, Simon Thompson

cs.PL 🏛 VPT@ETAPS 📚 10 cites 9 years ago

R.I.P. 👻 Ghosted

Variations on Variants

J. Garrett Morris

cs.PL 🏛 ACM SIGPLAN Symposium/Workshop on Haskell 📚 10 cites 9 years ago

R.I.P. 👻 Ghosted

A Simple Semantics for Haskell Overloading

J. Garrett Morris

cs.PL 🏛 ACM SIGPLAN Symposium/Workshop on Haskell 📚 10 cites 9 years ago

R.I.P. 👻 Ghosted

Incrementally Closing Octagons

Aziem Chawdhary, Ed Robbins, Andy King

cs.PL 🏛 Formal methods in system design 📚 10 cites 9 years ago

R.I.P. 👻 Ghosted

Syntax and analytic semantics of LISA

Jade ALglave, Patrick Cousot

cs.PL 🏛 arXiv 📚 10 cites 9 years ago

R.I.P. 👻 Ghosted

Hierarchical Shape Abstraction for Analysis of Free-List Memory Allocators

Bin Fang, Mihaela Sighireanu

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

R.I.P. 👻 Ghosted

Liquid Information Flow Control

Nadia Polikarpova, Deian Stefan, ... (+4 more)

cs.PL 🏛 arXiv 📚 10 cites 9 years ago

R.I.P. 👻 Ghosted

Automatic Optimization of Hardware Accelerators for Image Processing

Oliver Reiche, Konrad Häublein, ... (+4 more)

cs.PL 🏛 arXiv 📚 10 cites 11 years ago

R.I.P. 👻 Ghosted

Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory

David Darais, David Van Horn

cs.PL 🏛 ACM SIGPLAN International Conference on Functional Programming 📚 10 cites 10 years ago

R.I.P. 👻 Ghosted

Time complexity of concurrent programs

Elena Giachino, Einar Broch Johnsen, ... (+2 more)

cs.PL 🏛 ICFACS W 📚 10 cites 10 years ago

R.I.P. 👻 Ghosted

Type Reconstruction for the Linear π-Calculus with Composite Regular Types

Luca Padovani

cs.PL 🏛 Log. Methods Comput. Sci. 📚 10 cites 10 years ago

R.I.P. 👻 Ghosted

A Reference Interpreter for the Graph Programming Language GP 2

Christopher Bak, Glyn Faulkner, ... (+2 more)

cs.PL 🏛 GaM 📚 10 cites 11 years ago

R.I.P. 👻 Ghosted

Comparative Studies of Six Programming Languages

Zakaria Alomari, Oualid El Halimi, ... (+2 more)

cs.PL 🏛 arXiv 📚 10 cites 11 years ago

R.I.P. 👻 Ghosted

On instruction sets for Boolean registers in program algebra

J. A. Bergstra, C. A. Middelburg

cs.PL 🏛 Scientific Annals of Computer Science 📚 10 cites 11 years ago

R.I.P. 👻 Ghosted

TPU-MLIR: A Compiler For TPU Using MLIR

Pengchao Hu, Man Lu, ... (+2 more)

cs.PL 🏛 arXiv 📚 10 cites 3 years ago

R.I.P. 👻 Ghosted

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version)

Madhurima Chakraborty, Renzo Olivares, ... (+2 more)

cs.PL 🏛 Dagstuhl Artifacts Ser. 📚 10 cites 4 years ago

R.I.P. 👻 Ghosted

Optimizing Quantum Circuits, Fast and Slow

Amanda Xu, Abtin Molavi, ... (+2 more)

cs.PL 🏛 ASPLOS 📚 9 cites 1 year ago

R.I.P. 👻 Ghosted

Formal Foundations for Translational Separation Logic Verifiers (extended version)

Thibault Dardinier, Michael Sammler, ... (+3 more)

cs.PL 🏛 PACMPL 📚 9 cites 1 year ago