Programming Language Theory
- POPLmark
- Barendregt–Geuvers–Klop conjecture
- Generalized star height problem
Read more about this topic: Unsolved Problems In Computer Science
Famous quotes containing the words programming, language and/or theory:
“If there is a price to pay for the privilege of spending the early years of child rearing in the drivers seat, it is our reluctance, our inability, to tolerate being demoted to the backseat. Spurred by our success in programming our children during the preschool years, we may find it difficult to forgo in later states the level of control that once afforded us so much satisfaction.”
—Melinda M. Marshall (20th century)
“Philosophy is written in this grand bookI mean the universe
which stands continually open to our gaze, but it cannot be understood unless one first learns to comprehend the language and interpret the characters in which it is written. It is written in the language of mathematics, and its characters are triangles, circles, and other geometrical figures, without which it is humanly impossible to understand a single word of it.”
—Galileo Galilei (15641642)
“PsychotherapyThe theory that the patient will probably get well anyway, and is certainly a damned ijjit.”
—H.L. (Henry Lewis)