Discussion Seminar: Philosophy of Programming Lanugages