🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

PubSub implementation in Haskell with formal verification in Coq

Boro Sitnikovski, Biljana Stojcevska, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

The Prolog Debugger and Declarative Programming. Examples

Włodzimierz Drabent

cs.PL 🏛 arXiv 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Fast XML/HTML for Haskell: XML TypeLift

Michał J. Gajda, Dmitry Krylov

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations

Jinyi Wang, Yican Sun, ... (+4 more)

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Stephanie Balzer, Luca Padovani

cs.PL 🏛 EPTCS 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

Streaming Temporal Graphs: Subgraph Matching

Eric L. Goodman, Dirk Grunwald

cs.PL 🏛 BigData 📚 0 cites 6 years ago

R.I.P. 👻 Ghosted

What can a 1980s BASIC programming textbook teach us today?

Martin Lester

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Verifying C11-Style Weak Memory Libraries

Sadegh Dalvandi, Brijesh Dongol

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Verifying Liveness Properties of ML Programs

M. M. Lester, R. P. Neatherway, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Program Analysis (an Appetizer)

Flemming Nielson, Hanne Riis Nielson

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

The $\aleph$ Calculus

Hannah Earley

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Opportunities and Challenges for Circuit Board Level Hardware Description Languages

Richard Lin, Björn Hartmann

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Coming to Terms with Your Choices: An Existential Take on Dependent Types

Georg Stefan Schmid, Olivier Blanvillain, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Efficient global register allocation

Ian Rogers

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Infer XPath

Michał J. Gajda, Hai Nguyen Quang, ... (+2 more)

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Less Arbitrary waiting time

Michał J. Gajda

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Multicloud API binding generation from documentation

Michał J. Gajda, Vitor Vitali Barrozzi, Gabriel Araujo

cs.PL 🏛 Sai 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Typable Fragments of Polynomial Automatic Amortized Resource Analysis

Long Pham, Jan Hoffmann

cs.PL 🏛 Annual Conference for Computer Science Logic 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Extended abstract: Type oriented programming for task based parallelism

Nick Brown, Ludovic Capelli, J. Mark Bull

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Translating Recursive Probabilistic Programs to Factor Graph Grammars

David Chiang, Chung-chieh Shan

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Probabilistic Programming with CuPPL

Alexander Collins, Vinod Grover

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

C for a tiny system

Philipp Klaus Krause, Nicolas Lesser

cs.PL 🏛 arXiv 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

Type Checking Extracted Methods

Yuquan Fu, Sam Tobin-Hochstadt

cs.PL 🏛 Programming 📚 0 cites 5 years ago

R.I.P. 👻 Ghosted

On Simplifying Dependent Polyhedral Reductions

Sanjay Rajopadhye

cs.PL 🏛 arXiv 📚 0 cites 5 years ago