Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Shivkumar, Bhargav"'
Publikováno v:
Practical Aspects of Declarative Languages (2021) 54-70
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 systems aim to improve static checking in a dynamically typed languag
Externí odkaz:
http://arxiv.org/abs/2101.12299
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 MLton, a whole program, optimizing compiler for Standard ML, for use in
Externí odkaz:
http://arxiv.org/abs/1608.07206
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 real-time systems purports to improve the fidelity of software. To stu
Externí odkaz:
http://arxiv.org/abs/1601.03116
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ACM SIGBED Review; Apr2016, Vol. 13 Issue 2, p8-13, 6p