Lars Birkedal

1. Modular Denotational Semantics for Effects with Guarded Interaction Trees
   2023/07/17 by Dan Frumin, Amin Timany, Frumin, Dan +3 · 3 citations
   Computer Science · #Semantic Web and Ontologies #Natural Language Processing Techniques #Logic, programming, and type systems
2. Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda\n Calculus
   2018/02/27 by Alejandro Aguirre, Aguirre, Alejandro, Gilles Barthe +9 · 1 citation
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #Semantic Web and Ontologies
3. Denotational semantics of general store and polymorphism
   2022/10/05 by Jonathan Sterling, Sterling, Jonathan, Daniel Gratzer +3 · 1 citation
   Computer Science · #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
4. Reasoning about Weak Isolation Levels in Separation Logic
   2025/01/24 by Anders Alnor Mathiasen, Mathiasen, Anders Alnor, Léon Gondelman +7 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL)
5. Yarrow: Reconciling Effects Handlers and Region-Based Memory Management
   2026/07/17 by Anders Alnor Mathiasen, Amin Timany, Lars Birkedal
   #cs.PL
6. Verifying Isolation Levels of Database Implementations for Free Using Separation Logic
   2026/07/17 by Anders Alnor Mathiasen, Amin Timany, Lars Birkedal
   #cs.DB