Tag: Standard ML

• Memories: doing my PhD at Stanford, under John L Hennessy (13 Feb 2026)
  
• 50 years of proof assistants (05 Dec 2025)
  
• Memories: Edinburgh ML to Standard ML (05 Oct 2022)
  
• Axiomatic type classes: some history, some examples (02 Mar 2022)