Bhargav Shivkumar

Orcid: 0000-0002-8430-9229

According to our database1, Bhargav Shivkumar authored at least 7 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Real-time MLton: A Standard ML runtime for real-time functional programs.
J. Funct. Program., 2021

Putting Gradual Types to Work.
Proceedings of the Practical Aspects of Declarative Languages, 2021

2020
RTMLton: An SML Runtime for Real-Time Systems.
Proceedings of the Practical Aspects of Declarative Languages, 2020

2019
A survey of real-time capabilities in functional languages and compilers.
Concurr. Comput. Pract. Exp., 2019

2016
Adding real-time capabilities to a SML compiler.
SIGBED Rev., 2016

Embedded SML using the MLton compiler.
CoRR, 2016

Real-time capabilities in functional languages.
Proceedings of the 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, 2016


  Loading...