Session types for Rust TBL Jespersen, P Munksgaard, KF Larsen Proceedings of the 11th acm sigplan workshop on generic programming, 13-22, 2015 | 88 | 2015 |
Experience report: Type-safe multi-tier programming with Standard ML modules M Elsman, P Munksgaard, KF Larsen Proceedings of the ML Family Workshop. ML 18, 2018 | 6 | 2018 |
Memory optimizations in an array language P Munksgaard, T Henriksen, P Sadayappan, C Oancea SC22: International Conference for High Performance Computing, Networking …, 2022 | 5 | 2022 |
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties: Autotuning in Futhark P Munksgaard, SL Breddam, T Henriksen, FC Gieseke, C Oancea International Symposium on Trends in Functional Programming, 3-23, 2021 | 5 | 2021 |
Practical Session Types in Rust P Munksgaard, TBL Jespersen WGP 2015 Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming …, 2015 | 4 | 2015 |
Compiling a functional array language with non-semantic memory information P Munksgaard, C Oancea, T Henriksen Proceedings of the 34th Symposium on Implementation and Application of …, 2022 | 2 | 2022 |
Static and Dynamic Analyses for Efficient GPU Execution P Munksgaard School of The Faculty of Science, University of Copenhagen, 2023 | 1 | 2023 |