Affiliation:
1. Aarhus University, Denmark
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Reference45 articles.
1. Polymorphic Delimited Continuations
2. Franz Baader. 1998. On the complexity of Boolean unification. Inform. Process. Lett. ( 1998 ). Franz Baader. 1998. On the complexity of Boolean unification. Inform. Process. Lett. ( 1998 ).
3. Andrej Bauer and Matija Pretnar. 2015. Programming with algebraic efects and handlers. Journal of logical and algebraic methods in programming ( 2015 ). Andrej Bauer and Matija Pretnar. 2015. Programming with algebraic efects and handlers. Journal of logical and algebraic methods in programming ( 2015 ).
4. Alexander Bockmayr. 1991. Logic Programming with Pseudo-Boolean Constraints. ( 1991 ). Alexander Bockmayr. 1991. Logic Programming with Pseudo-Boolean Constraints. ( 1991 ).
5. George Boole. 1847. The mathematical analysis of logic. George Boole. 1847. The mathematical analysis of logic.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems;Proceedings of the ACM on Programming Languages;2023-10-16
2. With or Without You: Programming with Effect Exclusion;Proceedings of the ACM on Programming Languages;2023-08-30
3. The Principles of the Flix Programming Language;Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2022-11-29
4. Synthesizing Skolem Functions: A View from Theory and Practice;Handbook of Logical Thought in India;2022
5. Relational nullable types with Boolean unification;Proceedings of the ACM on Programming Languages;2021-10-20