🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Stream Types

Joseph W. Cutler, Christopher Watson, ... (+5 more)

cs.PL 🏛 PACMPL 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Special Delivery: Programming with Mailbox Types (Extended Version)

Simon Fowler, Duncan Paul Attard, ... (+3 more)

cs.PL 🏛 PACMPL 📚 4 cites 2 years ago

R.I.P. 👻 Ghosted

Integrating Logic Rules with Everything Else, Seamlessly

Yanhong A. Liu, Scott D. Stoller, ... (+2 more)

cs.PL 🏛 TPLP 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

A Direct-Style Effect Notation for Sequential and Parallel Programs

David Richter, Timon Böhler, ... (+2 more)

cs.PL 🏛 Dagstuhl Artifacts Ser. 📚 4 cites 3 years ago

🌅 💤 Eternal Rest

Type System for Four Delimited Control Operators

Chiaki Ishio, Kenichi Asai

cs.PL 🏛 ICGPCE 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

A Calculus for Scoped Effects & Handlers

Roger Bosman, Birthe van den Berg, ... (+2 more)

cs.PL 🏛 Log. Methods Comput. Sci. 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Kind Inference for the FreeST Programming Language

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

cs.PL 🏛 PLACES@ETAPS 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Defunctionalization with Dependent Types

Yulong Huang, Jeremy Yallop

cs.PL 🏛 PACMPL 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Parameterized Algebraic Protocols

Andreia Mordido, Janek Spaderna, ... (+2 more)

cs.PL 🏛 PACMPL 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Hardware-Aware Static Optimization of Hyperdimensional Computations

Pu, Yi, Sara Achour

cs.PL 🏛 PACMPL 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Amortized Analysis via Coinduction

Harrison Grodin, Robert Harper

cs.PL 🏛 arXiv 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Quantitative Global Memory

Sandra Alves, Delia Kesner, Miguel Ramos

cs.PL 🏛 ICLLIC W 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Transport via Partial Galois Connections and Equivalences

Kevin Kappelmann

cs.PL 🏛 Arch. Formal Proofs 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Daml: A Smart Contract Language for Securely Automating Real-World Multi-Party Business Workflows

Alexander Bernauer, Sofia Faro, ... (+9 more)

cs.PL 🏛 arXiv 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Asynchronous Modal FRP

Patrick Bahr, Rasmus Ejlers Møgelberg

cs.PL 🏛 PACMPL 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules (Technical Report)

Ling Zhang, Yuting Wang, ... (+3 more)

cs.PL 🏛 PACMPL 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Profiling and Optimizing Java Streams

Eduardo Rosales, Matteo Basso, ... (+2 more)

cs.PL 🏛 Programming 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Verifying Data Constraint Equivalence in FinTech Systems

Chengpeng Wang, Gang Fan, ... (+3 more)

cs.PL 🏛 ICSE 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Sound Symbolic Execution via Abstract Interpretation and its Application to Security

Ignacio Tiraboschi, Tamara Rezk, Xavier Rival

cs.PL 🏛 ICVMCAI 📚 4 cites 3 years ago

R.I.P. 👻 Ghosted

Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing

Basim Khajwal, C. -H. Luke Ong, Dominik Wagner

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

R.I.P. 👻 Ghosted

A Visual Language for Composable Inductive Programming

Edward McDaid, Sarah McDaid

cs.PL 🏛 arXiv 📚 4 cites 5 years ago

R.I.P. 👻 Ghosted

Diva: A Declarative and Reactive Language for In-Situ Visualization

Qi Wu, Tyson Neuroth, ... (+4 more)

cs.PL 🏛 ICLDAV 📚 4 cites 6 years ago

R.I.P. 👻 Ghosted

Introducing CPL

Paolo Luchini

cs.PL 🏛 arXiv 📚 4 cites 5 years ago

R.I.P. 👻 Ghosted

Advanced Join Patterns for the Actor Model based on CEP Techniques

Humberto Rodriguez Avila, Joeri De Koster, Wolfgang De Meuter

cs.PL 🏛 Programming 📚 4 cites 5 years ago