1 items matching your search terms.
Filter the results.
Item type


















New items since



Sort by relevance · date (newest first) · alphabetically
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.
Located in Users / Michael T. Richter / YFL-related Blog