Frank Pfenning

Frank Pfenning

male
logical frameworks, Twelf, Proof Transformations in Higher-Order Logic, programminglanguagetheory, automated deduction, Type theory…programming languages
Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He...
Kenneth E. Iverson

Kenneth E. Iverson

male, deceased (2004)
Programming language designer, Ph.D., computer scientist, Turing Award laureate, Harvard University alumni, Canadian…APL programming language, J programming language, programminglanguagetheory
Kenneth Eugene Iverson (17 December, 1920, Camrose, Alberta, Canada - 19 October, 2004, Toronto, Ontario, Canada) was a computer scientist most...