User contributions
From WG 2.11
- 17:06, 20 November 2024 (diff | hist) . . (+904) . . N WG211/M24Erdweg (Created page with "Differential operators map input changes to output changes, which can be used to implement efficient incremental computations. For example, differential operators for relation...") (current)
- 17:03, 20 November 2024 (diff | hist) . . (+100) . . WG211/M24Schedule (→Talks)