Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 1 items matching your search terms.

Subscribe to an always-updated feed of these search terms

Two Turing Machines
For fun I wrote two universal Turing machines: one in Prolog, one in Mercury. This led me to some observations about type systems and their spheres of utility.