Dec. 20, 2023
3:34 p.m.
Hi, You might have seen that we have done some work related to Undeclared. I did some slides to explain how it worked / how it works now / what remaining problems are / next step.
Dec. 22, 2023
10:46 a.m.
Thanks Marcus. I wasn't aware of all the complexity behind undeclareds. Cheers, MartÃn El mié, 20 dic 2023 a la(s) 12:34â¯p.m., Marcus Denker ( marcus.denker@inria.fr) escribió:
Hi,
You might have seen that we have done some work related to Undeclared.
I did some slides to explain how it worked / how it works now / what remaining problems are / next step.
952
Age (days ago)
954
Last active (days ago)
1 comments
2 participants
participants (2)
-
Marcus Denker -
Martin Dias