Graded monads and type-level programming for dependence analysis
Keyword(s):
2009 ◽
Vol 29
(11)
◽
pp. 3110-3113
◽
2012 ◽
Vol 29
(5)
◽
pp. 1830-1836
◽
1995 ◽
Vol 23
(1)
◽
pp. 63-81
◽
Keyword(s):
1987 ◽
Vol 64
(1)
◽
pp. 117-118
◽
Keyword(s):
2015 ◽
Vol 8
(1)
◽
pp. 463-467