-
Robert A.
Altenkirch was the
President of
University of
Alabama in
Huntsville and the New
Jersey Institute of Technology.[citation needed]
Altenkirch holds...
-
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...
- 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...
- Vol. 4719. pp. 209–257. with
Altenkirch, Thorsten; McKinna, James. Why
Dependent Types Matter (PDF). with
Altenkirch, Thorsten, eds. (2007).
Types for...
-
Dependent Types at Work (PDF) (Report).
Chalmers University of Technology.
Altenkirch, Thorsten; Danielsson, Nils Anders; Löh, Andres; Oury,
Nicolas (2010)...
-
Annual BRA
Workshop on
Logical Frameworks (Båstad, Sweden).
Thorsten Altenkirch,
Conor McBride and
James McKinna (2005). "Why
Dependent Types Matter"...
-
Tutorial (Report).
Altenkirch, Thorsten; McBride, Conor; McKinna,
James (2005). Why
Dependent Types Matter (Report). Chapman, James;
Altenkirch, Thorsten; McBride...
- (2007). "Fast
Reflexive Arithmetic Tactics the
Linear Case and Beyond". In
Altenkirch, Thorsten; McBride,
Conor (eds.).
Types for
Proofs and Programs: International...
-
Examples include Selinger's QPL, and the Haskell-like
language QML by
Altenkirch and Grattage. Higher-order
quantum programming languages,
based on lambda...
