Harvard University / United Nations / MIT / University of Edinburgh / Ecole polytechnique / Danish National Advanced Technology Foundation / University of Copenhagen / Type / /
Person
Robin Milner / Implementation / Edwin Brady / Denys Shabalin / Proof / Eugene Burmako / Idris Idris / David Raymond Christiansen / Quine / Peter Sestoft / /
Position
advisor / editor / assistant / General / /
ProgrammingLanguage
Haskell / Camlp4 / Lisp / Common Lisp / ML / K / Scala / /