ForSyDe: System Design Using a Functional Language and Models of Computation
2017 ◽
pp. 99-140
◽
2000 ◽
pp. 243-295
◽
2005 ◽
Vol 133
(1-3)
◽
pp. 149-171
◽
2005 ◽
Vol 152
(2)
◽
pp. 114
◽
2020 ◽
Vol 5
(3)
◽
pp. 622-636
2007 ◽
Keyword(s):
Keyword(s):