Author of the publication

Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism".

, , , , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Hardware/Software Stack for Heterogeneous Systems., , , , , , , , , and 23 other author(s). IEEE Trans. Multi-Scale Computing Systems, 4 (3): 243-259 (2018)Actors Revisited for Time-Critical Systems., , , , , , and . DAC, page 152. ACM, (2019)Analysis of Process Traces for Mapping Dynamic KPN Applications to MPSoCs., and . IESS, volume 523 of IFIP Advances in Information and Communication Technology, page 116-127. Springer, (2015)Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"., , , , and . CoRR, (2019)STCLang: state thread composition as a foundation for monadic dataflow parallelism., , , , and . Haskell@ICFP, page 146-161. ACM, (2019)On Compact Mappings for Multicore Systems., , and . SAMOS, volume 11733 of Lecture Notes in Computer Science, page 325-335. Springer, (2019)Robust Mapping of Process Networks to Many-Core Systems using Bio-Inspired Design Centering., , , , and . SCOPES, page 21-30. ACM, (2017)Symmetry in Software Synthesis., , and . CoRR, (2017)TETRiS: a Multi-Application Run-Time System for Predictable Execution of Static Mappings., , , , , and . SCOPES, page 11-20. ACM, (2017)Compiling for concise code and efficient I/O., , , and . CC, page 104-115. ACM, (2018)