-
Robert A.
Altenkirch was an
American academic and
university president. He was the
president of
University of
Alabama in
Huntsville and the New Jersey...
-
Thorsten Altenkirch (/ˈɔːltənkɜːrʃ/ AWL-tən-kursh, German: [ˈtɔʁstn̩ ˈʔaltn̩kɪʁç]) is a
German Professor of
Computer Science at the
University of Nottingham...
-
Academic offices Preceded by
William Hazell, Jr.
President of New
Jersey Institute of
Technology 1978–2002 Succeeded by
Robert A.
Altenkirch...
- Vol. 4719. pp. 209–257. with
Altenkirch, Thorsten; McKinna, James. Why
Dependent Types Matter (PDF). with
Altenkirch, Thorsten, eds. (2007).
Types for...
- Otto
Altenkirch (2
January 1875,
Ziesar – 20 July 1945, Siebenlehn) was a
German Impressionist painter and set designer. He was the
sixth child born to...
- as dean of engineering.
Robert Altenkirch was
hired as the university's
sixth president in
September 2011.
Altenkirch served as
president of the New Jersey...
-
Examples include Selinger's QPL, and the Haskell-like
language QML by
Altenkirch and Grattage. Higher-order
quantum programming languages,
based on lambda...
-
Dependent Types at Work (PDF) (Report).
Chalmers University of Technology.
Altenkirch, Thorsten; Danielsson, Nils Anders; Löh, Andres; Oury,
Nicolas (2010)...
- (2007). "Fast
Reflexive Arithmetic Tactics the
Linear Case and Beyond". In
Altenkirch, Thorsten; McBride,
Conor (eds.).
Types for
Proofs and Programs: International...
- in total, were
placed in
service in the 1990s. On May 2, 2003,
Robert Altenkirch was
inaugurated as president. He
succeeded Saul
Fenster who was named...
