🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion

Matthijs Vákár

cs.PL 🏛 arXiv 📚 13 cites 5 years ago

R.I.P. 👻 Ghosted

Validating Mathematical Structures

Kazuhiko Sakaguchi

cs.PL 🏛 International Joint Conference on Automated Reasoning 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

SymPas: Symbolic Program Slicing

Yingzhou Zhang

cs.PL 🏛 J.CST 📚 13 cites 7 years ago

R.I.P. 👻 Ghosted

Reconciling Event Structures with Modern Multiprocessors

Evgenii Moiseenko, Anton Podkopaev, ... (+3 more)

cs.PL 🏛 ECOOP 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Model-View-Update-Communicate: Session Types meet the Elm Architecture

Simon Fowler

cs.PL 🏛 Dagstuhl Artifacts Ser. 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

What's Decidable About Program Verification Modulo Axioms?

Umang Mathur, P. Madhusudan, Mahesh Viswanathan

cs.PL 🏛 ICTACAS 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

Jesús J. Doménech, John P. Gallagher, Samir Genaim

cs.PL 🏛 TPLP 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Resource Analysis driven by (Conditional) Termination Proofs

Elvira Albert, Miquel Bofill, ... (+3 more)

cs.PL 🏛 TPLP 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Coherence of Type Class Resolution

Gert-Jan Bottu, Ningning Xie, ... (+2 more)

cs.PL 🏛 PACMPL 📚 13 cites 6 years ago

R.I.P. 👻 Ghosted

Relational Cost Analysis for Functional-Imperative Programs

Weihao Qu, Marco Gaboardi, Deepak Garg

cs.PL 🏛 PACMPL 📚 13 cites 7 years ago

R.I.P. 👻 Ghosted

Static Program Analysis for String Manipulation Languages

Vincenzo Arceri, Isabella Mastroeni

cs.PL 🏛 VPT@Programming 📚 13 cites 7 years ago

R.I.P. 👻 Ghosted

Syntax and Semantics of Cedille

Aaron Stump, Christopher Jenkins

cs.PL 🏛 arXiv 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

From high-level inference algorithms to efficient code

Rajan Walia, Praveen Narayanan, ... (+3 more)

cs.PL 🏛 PACMPL 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Executable Operational Semantics of Solidity

Jiao Jiao, Shuanglong Kan, ... (+4 more)

cs.PL 🏛 arXiv 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Efficient Gradual Typing

Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek

cs.PL 🏛 arXiv 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Quantifying Program Bias

Aws Albarghouthi, Loris D'Antoni, ... (+2 more)

cs.PL 🏛 arXiv 📚 13 cites 9 years ago

R.I.P. 👻 Ghosted

Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications

Laure Philips, Joeri De Koster, ... (+2 more)

cs.PL 🏛 Programming 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Typesafe Abstractions for Tensor Operations

Tongfei Chen

cs.PL 🏛 SCALA@SPLASH 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Consistency of the Predicative Calculus of Cumulative Inductive Constructions (pCuIC)

Amin Timany, Matthieu Sozeau

cs.PL 🏛 arXiv 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Weak Memory Models: Balancing Definitional Simplicity and Implementation Flexibility

Sizhuo Zhang, Muralidaran Vijayaraghavan, Arvind

cs.PL 🏛 PACT 📚 13 cites 8 years ago

R.I.P. 👻 Ghosted

Using Cognitive Computing for Learning Parallel Programming: An IBM Watson Solution

Adrian Calvo Chozas, Suejb Memeti, Sabri Pllana

cs.PL 🏛 ICCS 📚 13 cites 9 years ago

R.I.P. 👻 Ghosted

A Framework for Extending microKanren with Constraints

Jason Hemann, Daniel P. Friedman

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

R.I.P. 👻 Ghosted

Causally consistent dynamic slicing

Roly Perera, Deepak Garg, James Cheney

cs.PL 🏛 CONCUR 📚 13 cites 9 years ago

R.I.P. 👻 Ghosted

Trees That Grow

Shayan Najd, Simon Peyton Jones

cs.PL 🏛 Journal of universal computer science (Online) 📚 13 cites 9 years ago