Programming Language Explorations