A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY
1995 ◽
Vol 5
(1)
◽
pp. 1-35
◽
Keyword(s):
2018 ◽
Vol 2018
◽
pp. 1-6
◽
1992 ◽
Vol 57
(3)
◽
pp. 251-276
◽
1996 ◽
Vol 6
(5)
◽
pp. 409-453
◽
Keyword(s):
2019 ◽
Vol 3
(OOPSLA)
◽
pp. 1-30
◽