Adding real-time capabilities to a SML compiler M Li, DE McArdle, JC Murphy, B Shivkumar, L Ziarek ACM SIGBED Review 13 (2), 8-13, 2016 | 7 | 2016 |
RTMLton: An SML runtime for real-time systems B Shivkumar, J Murphy, L Ziarek Practical Aspects of Declarative Languages: 22nd International Symposium …, 2020 | 6 | 2020 |
A survey of real‐time capabilities in functional languages and compilers JC Murphy, B Shivkumar, A Pritchard, G Iraci, D Kumar, SH Kim, L Ziarek Concurrency and Computation: Practice and Experience 31 (4), e4902, 2019 | 4 | 2019 |
Real-time capabilities in functional languages JC Murphy, B Shivkumar, L Ziarek 2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS), 1-10, 2016 | 3 | 2016 |
Real-time MLton: A Standard ML runtime for real-time functional programs B Shivkumar, J Murphy, L Ziarek Journal of Functional Programming 31, e19, 2021 | 1 | 2021 |
Putting gradual types to work B Shivkumar, E Naudon, L Ziarek Practical Aspects of Declarative Languages: 23rd International Symposium …, 2021 | 1 | 2021 |
A survey of real-time capabilities in functional languages and compilers: A survey of real-time capabilities in functional languages and compilers JC Murphy, B Shivkumar, A Pritchard, G Iraci, D Kumar, SH Kim, L Ziarek Concurrency and Computation: Practice and Experience 31 (4), 2018 | | 2018 |
Embedded SML using the MLton compiler J Murphy, B Shivkumar, L Ziarek arXiv preprint arXiv:1608.07206, 2016 | | 2016 |