🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

A Minimal Formulation of Session Types: The Sessions of Trios in Concert

Alen Arslanagić, Jorge A. Pérez, Dan Frumin

cs.PL 🏛 arXiv 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Duoidally enriched Freyd categories

Chris Heunen, Jesse Sigal

cs.PL 🏛 ICRAMCS 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Naturalistic Static Program Analysis

Mohammad Mehdi Pourhashem Kallehbasti, Mohammad Ghafari

cs.PL 🏛 SANER 📚 1 cites 3 years ago

R.I.P. 👻 Ghosted

Learning functional programs with function invention and reuse

Andrei Diaconu

cs.PL 🏛 arXiv 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

LPOP: Challenges and Advances in Logic and Practice of Programming

David S. Warren, Yanhong A. Liu

cs.PL 🏛 arXiv 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Systolic Computing on GPUs for Productive Performance

Hongbo Rong, Xiaochen Hao, ... (+4 more)

cs.PL 🏛 arXiv 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

The LL(finite) strategy for optimal LL(k) parsing

Peter Belcak

cs.PL 🏛 arXiv 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs

Robert Sison, Toby Murray

cs.PL 🏛 Journal of functional programming 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Dynamic IFC Theorems for Free!

Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu

cs.PL 🏛 CSF 📚 1 cites 6 years ago

R.I.P. 👻 Ghosted

Symbolic Techniques for Deep Learning: Challenges and Opportunities

Belinda Fang, Elaine Yang, Fei Xie

cs.PL 🏛 arXiv 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Prolog for Verification, Analysis and Transformation Tools

Michael Leuschel

cs.PL 🏛 VPT/HCVS@ETAPS 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Inductive Reachability Witnesses

Ali Asadi, Krishnendu Chatterjee, ... (+3 more)

cs.PL 🏛 arXiv 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Lucas-Interpretation on Isabelle's Functions

Walther Neuper

cs.PL 🏛 ThEdu@IJCAR 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Taming x86-TSO Persistency (Extended Version)

Artem Khyzha, Ori Lahav

cs.PL 🏛 arXiv 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Analysis of MiniJava Programs via Translation to ML

Martin Mariusz Lester

cs.PL 🏛 FTfJP@ECOOP 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

A Fast Graph Program for Computing Minimum Spanning Trees

Brian Courtehoute, Detlef Plump

cs.PL 🏛 GCM@STAF 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

A Comparison of Big-step Semantics Definition Styles

Péter Bereczky, Dániel Horpácsi, Simon Thompson

cs.PL 🏛 Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio computatorica 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Guiding user annotations for units-of-measure verification

Dominic Orchard, Mistral Contrastin, ... (+2 more)

cs.PL 🏛 arXiv 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Cost-Aware Type Theory

Yue Niu, Robert Harper

cs.PL 🏛 arXiv 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

HDPython: A High Level Python Based Object-Oriented HDL Framework

R. Peschke, K. Nishimura, G. Varner

cs.PL 🏛 arXiv 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Lake symbols for island parsing

Katsumi Okuda, Shigeru Chiba

cs.PL 🏛 Programming 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Contextual Linear Types for Differential Privacy

Matías Toro, David Darais, ... (+5 more)

cs.PL 🏛 arXiv 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

On the Semantic Expressiveness of Iso- and Equi-Recursive Types

Dominique Devriese, Eric Mark Martin, Marco Patrignani

cs.PL 🏛 Log. Methods Comput. Sci. 📚 1 cites 5 years ago

R.I.P. 👻 Ghosted

Handling Bidirectional Control Flow: Technical Report

Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers

cs.PL 🏛 arXiv 📚 1 cites 5 years ago