共 28 条
[11]
Differential categories
[J].
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,
2006, 16 (06)
:1049-1083
[13]
Ceri S., 1989, IEEE Transactions on Knowledge and Data Engineering, V1, P146, DOI 10.1109/69.43410
[15]
de Moor O, 2008, LECT NOTES COMPUT SC, V5235, P78, DOI 10.1007/978-3-540-88643-3_3
[17]
Fourtounis George, 2019, V109
[18]
Incremental λ-Calculus in Cache-Transfer Style Static Memoization by Program Transformation
[J].
PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019: 28TH EUROPEAN SYMPOSIUM ON PROGRAMMING,
2019, 11423
:553-580
[19]
Hickey Rich, 2012, DATOMIC FULLY T CLOU
[20]
Hofmann M, 1998, LECT NOTES COMPUT SC, V1414, P275, DOI 10.1007/BFb0028020