Programming language theory stubs