Machine Logic

At the junction of computation, logic and mathematics

Tag: Standard ML

Memories: Edinburgh ML to Standard ML (05 Oct 2022)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS