3 citations · 3 across the 3 of their papers we have counts for
3 papers
Putting gradual types to work
Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek
In this paper, we describe our experience incorporating gradual types in a statically typed functional language with Hindley-Milner style type inference. Where most gradually typed…
Embedded SML using the MLton compiler
Jeffrey Murphy, Bhargav Shivkumar, Lukasz Ziarek
In this extended abstract we present our current work on leveraging Standard ML for developing embedded and real-time systems. Specifically we detail our experiences in modifying M…
Adding Real-time Capabilities to a SML Compiler
Muyuan Li, Daniel E McArdle, Jeffrey C Murphy +2
There has been much recent interest in adopting functional and reactive programming for use in real-time system design. Moving toward a more declarative methodology for developing…