🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

OODIDA: On-board/Off-board Distributed Real-Time Data Analytics for Connected Vehicles

Gregor Ulm, Simon Smith, ... (+3 more)

cs.PL 🏛 arXiv 📚 11 cites 7 years ago

R.I.P. 👻 Ghosted

Lost in translation: Exposing hidden compiler optimization opportunities

Kyriakos Georgiou, Zbigniew Chamski, ... (+3 more)

cs.PL 🏛 Computer/law journal 📚 11 cites 7 years ago

R.I.P. 👻 Ghosted

Experience Report on Formally Verifying Parts of OpenJDK's API with KeY

Alexander Knüppel, Thomas Thüm, ... (+2 more)

cs.PL 🏛 F-IDE@FLoC 📚 11 cites 7 years ago

R.I.P. 👻 Ghosted

Size-Change Termination as a Contract

Phuc C. Nguyen, Thomas Gilray, ... (+2 more)

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

R.I.P. 👻 Ghosted

Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks

Martin Sulzmann, Kai Stadtmueller

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

R.I.P. 👻 Ghosted

Towards Taming Java Wildcards and Extending Java with Interval Types

Moez A. AbdelGawad

cs.PL 🏛 arXiv 📚 11 cites 8 years ago

R.I.P. 👻 Ghosted

Vehicle Platooning Simulations with Functional Reactive Programming

Bernd Finkbeiner, Felix Klein, ... (+2 more)

cs.PL 🏛 SCAV@CPSWeek 📚 11 cites 8 years ago

R.I.P. 👻 Ghosted

Live Multi-language Development and Runtime Environments

Fabio Niephaus, Tim Felgentreff, ... (+3 more)

cs.PL 🏛 Programming 📚 11 cites 8 years ago

R.I.P. 👻 Ghosted

Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic

Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga

cs.PL 🏛 arXiv 📚 11 cites 8 years ago

R.I.P. 👻 Ghosted

Communications in Choreographies, Revisited

Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti

cs.PL 🏛 SAC 📚 11 cites 8 years ago

R.I.P. 👻 Ghosted

Combining Static and Dynamic Contract Checking for Curry

Michael Hanus

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

R.I.P. 👻 Ghosted

Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version)

Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson

cs.PL 🏛 FSE 📚 11 cites 8 years ago

R.I.P. 👻 Ghosted

Constrained Type Families

J. Garrett Morris, Richard Eisenberg

cs.PL 🏛 PACMPL 📚 11 cites 8 years ago

R.I.P. 👻 Ghosted

Decoding Lua: Formal Semantics for the Developer and the Semanticist

Mallku Soldevila, Beta Ziliani, ... (+3 more)

cs.PL 🏛 Dynamic Languages Symposium 📚 11 cites 9 years ago

R.I.P. 👻 Ghosted

Data-Driven Program Completion

Yanxin Lu, Swarat Chaudhuri, ... (+2 more)

cs.PL 🏛 arXiv 📚 11 cites 9 years ago

R.I.P. 👻 Ghosted

Effect Summaries for Thread-Modular Analysis

Lukáš Holík, Roland Meyer, ... (+2 more)

cs.PL 🏛 Sensors Applications Symposium 📚 11 cites 9 years ago

R.I.P. 👻 Ghosted

Differentiable Functional Program Interpreters

John K. Feser, Marc Brockschmidt, ... (+2 more)

cs.PL 🏛 arXiv 📚 11 cites 9 years ago

R.I.P. 👻 Ghosted

Mutable WadlerFest DOT

Marianna Rapoport, Ondřej Lhoták

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

R.I.P. 👻 Ghosted

A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms

Paul Tarau

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

R.I.P. 👻 Ghosted

Partial Evaluation of Order-sorted Equational Programs modulo Axioms

Maria Alpuente, Angel Cuenca, ... (+2 more)

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

R.I.P. 👻 Ghosted

Default Rules for Curry

Sergio Antoy, Michael Hanus

cs.PL 🏛 TPLP 📚 11 cites 10 years ago

R.I.P. 👻 Ghosted

A Comparison of NOOP to Structural Domain-Theoretic Models of OOP

Moez A. AbdelGawad

cs.PL 🏛 arXiv 📚 11 cites 10 years ago

R.I.P. 👻 Ghosted

On GitHub's Programming Languages

Amirali Sanatinia, Guevara Noubir

cs.PL 🏛 arXiv 📚 11 cites 10 years ago

R.I.P. 👻 Ghosted

CPL: A Core Language for Cloud Computing -- Technical Report

Oliver Bračevac, Sebastian Erdweg, ... (+2 more)

cs.PL 🏛 ICM 📚 11 cites 10 years ago