1
0
LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022
by Orestis Melkonian 10 Oct '22
by Orestis Melkonian 10 Oct '22
10 Oct '22
1
0
1
1
2
4
04 Oct '22
1
0
03 Oct '22
1
0
1
0
1
0
1
0
ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022
by Jonathan Protzenko 26 Sep '22
by Jonathan Protzenko 26 Sep '22
26 Sep '22
1
0