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 |
|---|---|---|
| Send to me first: Priority in synchronous message-passing Journal of Functional Programming | 2023-06-19 | Paper |
| Real-time MLton: a standard ML runtime for real-time functional programs Journal of Functional Programming | 2021-12-27 | Paper |
| A typing discipline for statically verified crash failure handling in distributed systems | 2019-09-13 | Paper |
| A type theory for robust failure handling in distributed systems Formal Techniques for Distributed Objects, Components, and Systems | 2016-10-19 | Paper |
| Partial memoization of concurrency and communication Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Efficient sessions Science of Computer Programming | 2013-06-06 | Paper |
| Lightweight checkpointing for concurrent ML Journal of Functional Programming | 2010-05-26 | Paper |
| Flattening tuples in an SSA intermediate representation Higher-Order and Symbolic Computation | 2009-07-13 | Paper |
Research outcomes over time
This page was built for person: Lukasz Ziarek
