Kammar, Ohad

1. A monad for full ground reference cells
   2017/02/16 by Kammar, Ohad, Levy, Paul B., Moss, Sean K. +1 · 2 citations
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. Coverage Semantics for Dependent Pattern Matching
   2025/01/30 by Joseph Eremondi, Ohad Kammar, Eremondi, Joseph +1 · 2 voices
   Computer Science · #Algorithms and Data Compression #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Semantic Web and Ontologies
3. Factorisation systems for logical relations and monadic lifting in\n type-and-effect system semantics
   2018/04/10 by Ohad Kammar, Kammar, Ohad, Dylan McDermott +1 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research
4. Idris TyRE: a dependently typed regex parser
   2023/05/08 by Ohad Kammar, Kammar, Ohad, Katarzyna Marek +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Natural Language Processing Techniques #Programming Languages (cs.PL)
5. On the Expressive Power of User-Defined Effects: Effect Handlers,\n Monadic Reflection, Delimited Control
   2016/10/28 by Yannick Forster, Ohad Kammar, Forster, Yannick +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #Semantic Web and Ontologies
6. Frex: dependently-typed algebraic simplification
   2023/06/27 by Guillaume Allais, Allais, Guillaume, Edwin Brady +7 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research #Symbolic Computation (cs.SC)