26 May
2026
26 May
'26
8:15 a.m.
Could Mutex be an eqtype in future? (I see it is currently implemented as a word ref….)
-- Michael Norrish (Associate Professor) School of Computing, The Australian National University Canberra ACT 2600, AUSTRALIA michael.norrish@anu.edu.au W: comp.anu.edu.au/people/michael-norrish TEQSA Provider ID: PRV12002 (Australian University) | CRICOS Provider Code: 00120C