Timothy Roscoe gives an invited talk at the John Lions Distinguished Lectures
Timothy Roscoe gave an invited talk (online) on "Real Operating Systems for Real Computers" at the University of New South Wales external pageJohn Lions Distinguished Lectures held in Sydney, Australia.