Type-Based Amortized Resource Analysis with Integers and Arrays
2014 ◽
pp. 152-168
◽
Keyword(s):
Keyword(s):
1985 ◽
Vol 101
(3)
◽
pp. 150-156
◽
Keyword(s):
1983 ◽
Vol 7
(1)
◽
pp. 127-146
◽
2007 ◽
pp. 115-144
Keyword(s):
Keyword(s):