Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Bhargav Shivkumar"'
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030674373
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:
https://explore.openaire.eu/search/publication?articleId=doi_________::47e70a6f51b1f26c1d811e7bf4d7fcd3
https://doi.org/10.1007/978-3-030-67438-0
https://doi.org/10.1007/978-3-030-67438-0
Publikováno v:
Practical Aspects of Declarative Languages ISBN: 9783030674373
PADL
PADL
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:
https://explore.openaire.eu/search/publication?articleId=doi_________::a32024ac83b4408a473928bf437811cf
https://doi.org/10.1007/978-3-030-67438-0_4
https://doi.org/10.1007/978-3-030-67438-0_4
Publikováno v:
Journal of Functional Programming. 31
There is a growing interest in leveraging functional programming languages in real-time and embedded contexts. Functional languages are appealing as many are strictly typed, amenable to formal methods, have limited mutation, and have simple but power
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d2f11b747e99864935e8e9bf264a70f
https://doi.org/10.1017/s0956796821000174
https://doi.org/10.1017/s0956796821000174
Publikováno v:
Practical Aspects of Declarative Languages ISBN: 9783030391966
PADL
PADL
There is a growing interest in leveraging functional programming languages in real-time and embedded contexts. Functional languages are appealing as many are strictly typed, amenable to formal methods, have limited mutation, and have simple, but powe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c444bba4ebb06e397bd77c6d02b9647b
https://doi.org/10.1007/978-3-030-39197-3_8
https://doi.org/10.1007/978-3-030-39197-3_8
Autor:
Grant Iraci, Sun Hyoung Kim, Dhruv Kumar, Jeffrey C. Murphy, Amy Pritchard, Bhargav Shivkumar, Lukasz Ziarek
Publikováno v:
Concurrency and Computation: Practice and Experience. 31
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6693ad1f321876a1d201ab982bf1fa57
https://doi.org/10.1002/cpe.4902
https://doi.org/10.1002/cpe.4902
Publikováno v:
DCPS
Functional programming languages play an important role in the development of provably correct software systems. As embedded devices become pervasive and perform critical tasks in our lives, their reliability becomes paramount. This presents a natura
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b091436318817ab98fbf832eaf0dcd86
https://doi.org/10.1109/dcps.2016.7588296
https://doi.org/10.1109/dcps.2016.7588296
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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b485079df03b11dd75a407c9c44a4303