🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Abstracting Event-Driven Systems with Lifestate Rules

Shawn Meier, Aleksandar Chakarov, ... (+3 more)

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming

Sibylle Schwarz, Janis Voigtländer

cs.PL 🏛 EPTCS 234, 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

The Best of Both Worlds: Linear Functional Programming without Compromise

J. Garrett Morris

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

ManyDSL: A Host for Many Languages

Piotr Danilewski, Philipp Slusallek

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Propositions in Linear Multirole Logic as Multiparty Session Types

Hongwei Xi, Hanwen Wu

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

A Traversable Fixed Size Small Object Allocator in C++

Christian Schuessler, Roland Gruber

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Scala-gopher: CSP-style programming techniques with idiomatic Scala

Ruslan Shevchenko

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems

Mirco Tribastone, Herbert Wiklicky

cs.PL 🏛 EPTCS 227, 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Verified Parallel String Matching in Haskell

Niki Vazou, Jeff Polakow

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

LambdaDL: Syntax and Semantics (Preliminary Report)

Martin Leinberger, Ralf Lämmel, Steffen Staab

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Unfolding Semantics of the Untyped λ-Calculus with letrec

Jan Rochel

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Refinement types for precisely named cache locations

Matthew A. Hammer, Jana Dunfield, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

miniAdapton: A Minimal Implementation of Incremental Computation in Scheme

Dakota Fisher, Matthew A. Hammer, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

In-place Graph Rewriting with Interaction Nets

Ian Mackie, Shinya Sato

cs.PL 🏛 TERMGRAPH 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Honey: A dataflow programming language for the processing, featurization and analysis of multivariate, asynchronous and non-uniformly sampled scalar symbolic time sequences

Mathieu Guillame-Bert

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Behavioural Prototypes

Roly Perera, Simon J. Gay

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Embedded SML using the MLton compiler

Jeffrey Murphy, Bhargav Shivkumar, Lukasz Ziarek

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016)

Manuel Carro, Andy King

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Scaling Bounded Model Checking By Transforming Programs With Arrays

Anushri Jana, Uday P. Khedker, ... (+3 more)

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Proceedings 9th Interaction and Concurrency Experience

Massimo Bartoletti, Ludovic Henrio, ... (+2 more)

cs.PL 🏛 EPTCS 223, 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Semantic Code Browsing

Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)

Manuel V. Hermenegildo, Pedro Lopez-Garcia

cs.PL 🏛 arXiv 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions

K. Tuncay Tekle, Yanhong A. Liu

cs.PL 🏛 TPLP 📚 0 cites 9 years ago

R.I.P. 👻 Ghosted

Lock-free atom garbage collection for multithreaded Prolog

Jan Wielemaker, Keri Harris

cs.PL 🏛 arXiv 📚 0 cites 9 years ago