Philip Wadler's home page
Projects Interested in applying for a PhD or Internship? Verifying smart contracts for Blockchain Funded PhD post. (No longer available; filled by Tudor Ferariu.) From Data Types to Session Types: A Basis for Concurrency and Distribution, an EPSRC Programme Grant, joint with Simon Gay, Glasgow, and Nobuko Yoshida, Imperial. TypeScript: The Next Generation funded by a Microsoft Research PhD Scholar
プログラミング言語の開発者たち、２０人が語る名言集｜【Tech総研】
プログラミング言語の開発者たち、 ２０人が語る名言集 「言語デザイナー」と呼ばれる、プログラミング言語の開発者たちの言葉を集めました。含蓄のある名言から、思わず納得のフレーズまでさまざま。先に言いますが、「○○が入ってないよ！」は受け付けません。ご自分で見つけてくださいね。 世界で初めてプログラミング言語をつくったと言われる19世紀のエイダ・ラブレス。彼女の功績は賞賛され、プログラミング言語「Ada」として現在に名を残した。 現代計算機科学の父と呼ばれるアラン・チューリング。彼の名はプログラミング言語の根幹となる「チューリング完全」や、計算機科学の「チューリング賞」で知られる。 こうした知恵の蓄積から生まれたプログラミング言語は、以下のように多くの個人開発者を生んだ。言語を自由にデザインしたエンジニアたちの、シリアスかつお茶目な言葉を聞いてください。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Parametric Facebook: POPL 2014