また、プログラムの制御理論から当時出てきた継続及びアクタ理論におけるアクタへのメッセージ渡しの概念から触発された継続渡し形式と呼ばれるプログラミング手法は以後の継続の研究に大きな影響を与えた。歴史.MIT人工知能研究所においては以下のとおりLISPに始まるいくつかの言語が作られた。機能.静的スコープ.継続.言語仕様.実装.は言語機能を必要十分の最低限まで単純化することを目指した言語である。そのため仕様書が簡素な反面、実用に際して各種のライブラリが乱立し、移植性が問題になっていた。そこで実装間の統一をとるため、コミュニティ内の議論を集約しているのが「」である。ではライブラリ仕様、言語拡張仕様などがインデックス化されており、準拠の実装系は「◯◯に準拠」といった形で利用者の便宜を図ることができる。なお、では言語機能とライブラリ機能は分けて考えられているため、と言語仕様のコミュニティは原則分離している。応用.はしばしば他のアプリケーションの拡張用言語として使われる。代表的なアプリケーションには以下のようなものがある。用のでは、コンパイラであるを使って仮想マシン用のバイトコードを生成している。出典.ラムダ論文一覧.が発表された一連の論文は、ラムダ論文と呼ばれている。シドニーの愛称とされている。エドガー・ダイクストラ生涯.コンピュータ科学やプログラミングについての彼の意見は広範囲に及んだ。例えば、あるデータ構造の複数のインスタンスを処理している場合、経験則としてそのロジックをループ内にカプセル化すべきだと示唆し、また、プログラミングが本来非常に難しく複雑であり、プログラマはその複雑性をうまく管理するために可能な限り技巧と抽象化を利用する必要がある、という主張をした。ダイクストラの箴言.以下の言葉は、「ダイクストラの箴言」として引用されることが多い。栄誉・受賞歴.以下のような賞と栄誉を受けている。バンド理論概要.量子力学によると、束縛状態の電子が取りうるエネルギー準位は、特定の準位のみに限定され飛び飛びに(離散的に)なる。しかし、固体中の外殻電子は、隣接する原子の電子との相互作用によって、電子の取りうるエネルギー準位の幅が広がって連続的(バンド構造)になる。