🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

ROSY: An elegant language to teach the pure reactive nature of robot programming

Hugo Pacheco, Nuno Macedo

cs.PL 🏛 ICRC 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Towards a Complete Picture of Lens Laws

Keisuke Nakano

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Aggressive Aggregation: a New Paradigm for Program Optimization

Frederik Gossen, Marc Jasper, ... (+2 more)

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Securing Smart Contract On The Fly

Ao Li, Jemin Andrew Choi, Fan Long

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Reduction Monads and Their Signatures

Benedikt Ahrens, André Hirschowitz, ... (+2 more)

cs.PL 🏛 PACMPL 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Declarative Semantics of the Hybrid Constraint Language HydLa

Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Embracing a mechanized formalization gap

Antal Spector-Zabusky, Joachim Breitner, ... (+2 more)

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Automatically Tracing Imprecision Causes in JavaScript Static Analysis

Hongki Lee, Changhee Park, Sukyoung Ryu

cs.PL 🏛 Programming 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

Chandrakana Nandi, Max Willsey, ... (+5 more)

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Equivalence Checking of Non-deterministic Operations

Sergio Antoy, Michael Hanus

cs.PL 🏛 Fuji International Symposium on Functional and Logic Programming 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction

Raphael Mosaner, David Leopoldseder, ... (+3 more)

cs.PL 🏛 MPLR 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Default Disambiguation for Online Parsers

Lukas Diekmann, Laurence Tratt

cs.PL 🏛 Software Language Engineering 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation

Baltasar Trancón y Widemann, Markus Lepper

cs.PL 🏛 DECLARE 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

Joaquin Arias, Manuel Carro

cs.PL 🏛 TPLP 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Lazy Stream Programming in Prolog

Paul Tarau, Jan Wielemaker, Tom Schrijvers

cs.PL 🏛 ICLP Technical Communications 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Spacetime Programming: A Synchronous Language for Composable Search Strategies

Pierre Talbot

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

R.I.P. 👻 Ghosted

A Relational Static Semantics for Call Graph Construction

Xilong Zhuo, Chenyi Zhang

cs.PL 🏛 ICFEM 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Augmenting Type Signatures for Program Synthesis

Bruce Collie, Michael O'Boyle

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Set Constraints, Pattern Match Analysis, and SMT

Joseph Eremondi

cs.PL 🏛 ICTFP 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

First-Class Subtypes

Jeremy Yallop, Stephen Dolan

cs.PL 🏛 ML/OCaml 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

An experiment with denotational semantics

Blikle Andrzej

cs.PL 🏛 SN Computer Science 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers

Jan A. Bergstra

cs.PL 🏛 Comput. Sci. J. Moldova 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

A HoTT Quantum Equational Theory (Extended Version)

Jennifer Paykin, Steve Zdancewic

cs.PL 🏛 arXiv 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

Modular Synthesis of Divide-and-Conquer Parallelism for Nested Loops (Extended Version)

Azadeh Farzan, Victor Nicolet

cs.PL 🏛 arXiv 📚 2 cites 7 years ago