These people have programming languages named after them:
Haskell B. Curry (Haskell) (who also got currying, not of favour)
Blaise Pascal (Pascal)
Ada Lovelace (Ada)
Alfred Aho, Peter Weinberger, and Brian Kernighan (awk)
Alan Turing. Besides the machine, WaldemarExkul informs me that University of Toronto had a language by this name -- "essentially Pascal without the semicolons" required, it has a grab-bag of add-ons.
Erlang, after the mathematician Agner Erlang -- inventor of the Erlang numbers, aka "why can't I get a cellphone line when I'm at a 250,000 person demonstration?!"
Gödel: origin is obvious (http://www.cs.bris.ac.uk/~bowers/goedel.html) (but the language apparently somewhat less so...)
Pike, after the fish (fish are people too).
Occam, the language of the ill-fated Transputer chip, used mainly by parallelized weirdos -- William of Ockham
另外 Julia 好像也是.
补充一下, 最近希尔伯特也被命名语言了: http://hilbert-lang.org/
Ada (AdaLanguage, after Countess AdaLovelace)
Haskell (HaskellLanguage, after HaskellCurry)
Goedel (a logic programming language, named for KurtGoedel)
Erlang (from A K Erlang, a Danish mathematician whose work on queuing and networks is very relevant to telephone companies. Allegedly also Ericsson Language. see: TruthAndBeautyDoesntPayTheBills )
Turing (TuringLanguage, after Alan Turing)