-
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...
-
Robert A.
Altenkirch was the
President of
University of
Alabama in
Huntsville and the New
Jersey Institute of Technology.
Altenkirch holds a B.S. from...
- 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...
-
during a
faculty meeting.
Robert Altenkirch was
hired as the university's
sixth president in
September 2011.
Altenkirch served as
president of the New Jersey...
-
Annual BRA
Workshop on
Logical Frameworks (Båstad, Sweden).
Thorsten Altenkirch,
Conor McBride and
James McKinna (2005). "Why
Dependent Types Matter"...
- Vol. 4719. pp. 209–257. with
Altenkirch, Thorsten; McKinna, James. Why
Dependent Types Matter (PDF). with
Altenkirch, Thorsten, eds. (2007).
Types for...
-
Sojakova 2012, p. 8. Abbott,
Altenkirch &
Ghani 2005, p. 10. Awodey,
Gambino &
Sojakova 2015. Abbott, Michael;
Altenkirch, Thorsten; Ghani, Neil (2005)...
- (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...
- Programming. 14 (1): 69–111. doi:10.1017/s0956796803004829. S2CID 6232997.
Altenkirch, Thorsten; McBride, Conor; McKinna,
James (2006). "Why
dependent types...