I've been the lucky recipient of helpful advice and instruction both from colleagues who have shared their wisdom, and from the school of hard knocks. Here are some of the notes I have compiled on various topics; I hope that they help you, too. They will probably be of most use to people in computer science departments.
Please help me improve these documents or add links to other good ones! Send your suggestions, comments, and additional links to email@example.com.
For local documents, the date of last modification is noted next to the link. The date of creation appears at the top of the document itself.
Optionaltype (27 January 2023)
Back to Michael Ernst's home page.