Danel Ahman
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Comodule representations of second-order functionals Journal of Logical and Algebraic Methods in Programming | 2025-08-08 | Paper |
| Higher-order asynchronous effects Logical Methods in Computer Science | 2024-11-12 | Paper |
| When programs have to watch paint dry Lecture Notes in Computer Science | 2023-11-24 | Paper |
| Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms Programming Languages and Systems | 2023-11-24 | Paper |
| Decomposing Comonad Morphisms. | 2023-02-03 | Paper |
| Runners in Action Programming Languages and Systems | 2022-10-13 | Paper |
| Directed containers as categories | 2021-12-02 | Paper |
| Directed containers as categories (available as arXiv preprint) | 2021-12-02 | Paper |
| Dijkstra monads for free Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Update monads: cointerpreting directed containers | 2017-03-13 | Paper |
| Dependent types and fibred computational effects Lecture Notes in Computer Science | 2016-06-10 | Paper |
| Coalgebraic update lenses | 2016-05-13 | Paper |
| Normalization by evaluation and algebraic effects | 2016-04-12 | Paper |
| When is a container a comonad? Logical Methods in Computer Science | 2014-09-05 | Paper |
| When is a container a comonad? Foundations of Software Science and Computational Structures | 2012-06-22 | Paper |
Research outcomes over time
This page was built for person: Danel Ahman
