🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Three Quantum Programming Language Parser Implementations for the Web

Marcus Edwards

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Nondeterminism and Guarded Commands

Krzysztof R. Apt, Ernst-Rüdiger Olderog

cs.PL 🏛 Edsger Wybe Dijkstra 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Extending Isabelle/HOL's Code Generator with support for the Go programming language

Terru Stübinger, Lars Hupel

cs.PL 🏛 FM 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

A Pretty Expressive Printer (with Appendices)

Sorawee Porncharoenwase, Justin Pombrio, Emina Torlak

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Making Logical Relations More Relatable (Proof Pearl)

Emmanuel Suárez Acevedo, Stephanie Weirich

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

While Loops in Coq

David Nowak, Vlad Rusu

cs.PL 🏛 FROM 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Stratified Type Theory

Jonathan Chan, Stephanie Weirich

cs.PL 🏛 European Symposium on Programming 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

A Categorical Framework for Program Semantics and Semantic Abstraction

Shin-ya Katsumata, Xavier Rival, Jérémy Dubut

cs.PL 🏛 Mathematical Foundations of Programming Semantics 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Timed Actors and Their Formal Verification

Marjan Sirjani, Ehsan Khamespanah

cs.PL 🏛 Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Joint Distributions in Probabilistic Semantics

Dexter Kozen, Alexandra Silva, Erik Voogd

cs.PL 🏛 Mathematical Foundations of Programming Semantics 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Sound Atomicity Inference for Data-Centric Synchronization

Hervé Paulino, Ana Almeida Matos, ... (+4 more)

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Historia: Refuting Callback Reachability with Message-History Logics (Extended Version)

Shawn Meier, Sergio Mover, ... (+2 more)

cs.PL 🏛 PACMPL 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Accelerating package expansion in Rust through development of a semantic versioning tool

Tomasz Nowak, Michał Staniewski, ... (+2 more)

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Saggitarius: A DSL for Specifying Grammatical Domains

Anders Miltner, Devon Loehr, ... (+3 more)

cs.PL 🏛 PACMPL 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Typing Composable Coroutines

Qiqi Gu, Wei Ke

cs.PL 🏛 ICCTD 📚 1 cites 2 years ago

R.I.P. 💀 404 Not Found

Disco: A Functional Programming Language for Discrete Mathematics

Brent A. Yorgey

cs.PL 🏛 TFPIE 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Regular Expressions in a CS Formal Languages Course

Marco T. Morazán

cs.PL 🏛 TFPIE 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Code Transpilation for Hardware Accelerators

Yuto Nishida, Sahil Bhatia, ... (+4 more)

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Formalizing Monoidal Categories and Actions for Syntax with Binders

Benedikt Ahrens, Ralph Matthes, Kobe Wullaert

cs.PL 🏛 arXiv 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Error Localization for Sequential Effect Systems (Extended Version)

Colin S. Gordon, Chaewon Yun

cs.PL 🏛 Sensors Applications Symposium 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Modal Abstractions for Virtualizing Memory Addresses

Ismail Kuru, Colin S. Gordon

cs.PL 🏛 PACMPL 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

An Exceptional Actor System (Functional Pearl)

Patrick Redmond, Lindsey Kuper

cs.PL 🏛 ACM SIGPLAN Symposium/Workshop on Haskell 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Inductive diagrams for causal reasoning

Jonathan Castello, Patrick Redmond, Lindsey Kuper

cs.PL 🏛 PACMPL 📚 1 cites 2 years ago

R.I.P. 👻 Ghosted

Specifying and Verifying Persistent Libraries

Léo Stefanesco, Azalea Raad, Viktor Vafeiadis

cs.PL 🏛 European Symposium on Programming 📚 1 cites 3 years ago