Tag: Robin Milner

• Memories: Edinburgh ML to Standard ML (05 Oct 2022)
  
• Memories: Edinburgh LCF, Cambridge LCF, HOL88 (28 Sep 2022)
  
• Axiomatic type classes: some history, some examples (02 Mar 2022)
  
• The de Bruijn criterion vs the LCF architecture (05 Jan 2022)