Παρακολούθηση
Thorsten Altenkirch
Thorsten Altenkirch
Professor of Computer Science, University of Nottingham
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.nott.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A functional quantum programming language
T Altenkirch, J Grattage
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 249-258, 2005
3152005
Containers: Constructing strictly positive types
M Abbott, T Altenkirch, N Ghani
Theoretical Computer Science 342 (1), 3-27, 2005
2932005
Monadic presentations of lambda terms using generalized inductive types
T Altenkirch, B Reus
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999
2271999
Monads need not be endofunctors
T Altenkirch, J Chapman, T Uustalu
Logical methods in computer science 11, 2015
2222015
Categories of containers
M Abbott, T Altenkirch, N Ghani
Foundations of Software Science and Computation Structures: 6th …, 2003
2092003
Observational equality, now!
T Altenkirch, C McBride, W Swierstra
Proceedings of the 2007 workshop on Programming languages meets program …, 2007
2062007
Indexed containers
T Altenkirch, P Morris
2009 24th Annual IEEE Symposium on Logic In Computer Science, 277-285, 2009
203*2009
Type theory in type theory using quotient inductive types
T Altenkirch, A Kaposi
ACM SIGPLAN Notices 51 (1), 18-29, 2016
1622016
Categorical reconstruction of a reduction free normalization proof
T Altenkirch, M Hofmann, T Streicher
Category Theory and Computer Science: 6th International Conference, CTCS'95 …, 1995
1531995
Normalization by evaluation for typed lambda calculus with coproducts
T Altenkirch, P Dybjer, M Hofmann, P Scott
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 303-310, 2001
1362001
Generic programming within dependently typed programming
T Altenkirch, C McBride
Generic Programming: IFIP TC2/WG2. 1 Working Conference Programming July 11 …, 2003
1272003
A formalization of the strong normalization proof for System F in LEGO
T Altenkirch
International Conference on Typed Lambda Calculi and Applications, 13-28, 1993
1211993
Constructions, inductive types and strong normalization
T Altenkirch
University of Edinburgh, 1993
1091993
A predicative analysis of structural recursion
A Abel, T Altenkirch
Journal of functional programming 12 (1), 1-41, 2002
912002
Extensional equality in intensional type theory
T Altenkirch
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999
911999
Quotient inductive-inductive types
T Altenkirch, P Capriotti, G Dijkstra, N Kraus, F Nordvall Forsberg
International Conference on Foundations of Software Science and Computation …, 2018
852018
Beauty in the beast
W Swierstra, T Altenkirch
Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 25-36, 2007
782007
Constructing quotient inductive-inductive types
A Kaposi, A Kovács, T Altenkirch
Proceedings of the ACM on Programming Languages 3 (POPL), 1-24, 2019
762019
Why dependent types matter
T Altenkirch, C McBride, J McKinna
Manuscript, available online, 235, 2005
742005
Why dependent types matter
J McKinna, T Altenkirch, C McBride
POPL 6, 1-1, 2006
722006
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20