Programming Languages

Functional Ownership through Fractional Uniqueness
Avatar
Daniel Marshall
282 views
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding
  v.s. Shallow Embedding
Avatar
Zhongye Wang
213 views
Correctness Witness Validation by Abstract Interpretation
Avatar
Simmo Saan
222 views
Multi-structure Objects Points-to Analysis
Avatar
Xun An
238 views
Predictive Monitoring against Pattern Regular Languages
Avatar
Zhendong Ang
216 views
Definitional Functoriality for Dependent (Sub)Types
Avatar
Théo Laurent
231 views
Seamless, Correct, and Generic Programming over Serialised Data
Avatar
Guillaume Allais
194 views
A R4RS Compliant REPL in 7 KB

A R4RS Compliant REPL in 7 KB

Programming Languages
Avatar
Léonard Oest O'Leary
226 views
Compiler Testing With Relaxed Memory Models
Avatar
Luke Geeson
234 views
Exploiting array manipulation habits to optimize garbage collection and
  type flow analysis
Avatar
Dominique Colnet
233 views
Nondeterminism and Guarded Commands
Avatar
Krzysztof Apt
232 views
Martin-Löf à la Coq

Martin-Löf à la Coq

Programming Languages
Avatar
Arthur Adjedj
212 views
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR
  using Program Synthesis
Avatar
Alexander Brauckmann
215 views
A Core Calculus for Documents

A Core Calculus for Documents

Programming Languages
Avatar
Will Crichton
217 views
Reverse-Mode AD of Reduce-by-Index and Scan in Futhark
Avatar
Lotte Maria Bruun
292 views
Soda: An Object-Oriented Functional Language for Specifying
  Human-Centered Problems
Avatar
Julian Mendez
232 views
Type-Based Verification of Delegated Control in Hybrid~Systems (Full
  Version)
Avatar
Eduard Kamburjan
201 views
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
Avatar
Vasileios Koutavas
220 views