Thorsten Altenkirch

Cited by

	All	Since 2020
Citations	4942	1511
h-index	38	20
i10-index	74	36

340

170

255

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 14 16 22 15 37 25 37 44 58 73 107 169 131 158 186 186 199 201 212 187 208 205 300 264 278 284 235 312 315 327 38

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Conor McBrideReader, University of StrathclydeVerified email at strath.ac.uk
Ambrus KaposiEötvös Loránd University, BudapestVerified email at inf.elte.hu
Nicolai KrausUniversity of NottinghamVerified email at nottingham.ac.uk
Nils Anders DanielssonResearcher, Chalmers University of Technology and University of GothenburgVerified email at cse.gu.se
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
James ChapmanIOG (IOHK)Verified email at iohk.io
Wouter SwierstraUniversiteit UtrechtVerified email at uu.nl
Paolo CapriottiPostdoc, Technische Universität DarmstadtVerified email at mathematik.tu-darmstadt.de
Andreas AbelSenior Lecturer, Comp. Sci. and Eng., Chalmers University of Technology and University of GothenburgVerified email at gu.se
Bernhard ReusUniversity of SussexVerified email at sussex.ac.uk
Gabe DijkstraPhD candidate Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk
András KovácsUniversity of Gothenburg, Chalmers University of TechnologyVerified email at chalmers.se
Fredrik Nordvall ForsbergUniversity of StrathclydeVerified email at strath.ac.uk
Amr SabryProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Juliana VizzottoProfessora de Ciência da Computação, Universidade Federal de Santa MariaVerified email at inf.ufsm.br
Nicolas OuryVerified email at ed.ac.uk
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerified email at bham.ac.uk
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerified email at chalmers.se
Venanzio CaprettaNottingham UniversityVerified email at duplavis.com

Thorsten Altenkirch

Professor of Computer Science, University of Nottingham

Verified email at cs.nott.ac.uk - Homepage

Type Theory Category Theory Functional Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A functional quantum programming language T Altenkirch, J Grattage 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 249-258, 2005	316	2005
Containers: Constructing strictly positive types M Abbott, T Altenkirch, N Ghani Theoretical Computer Science 342 (1), 3-27, 2005	286	2005
Monadic presentations of lambda terms using generalized inductive types T Altenkirch, B Reus Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999	223	1999
Monads need not be endofunctors T Altenkirch, J Chapman, T Uustalu Logical methods in computer science 11, 2015	215	2015
Categories of containers M Abbott, T Altenkirch, N Ghani Foundations of Software Science and Computation Structures: 6th …, 2003	208	2003
Observational equality, now! T Altenkirch, C McBride, W Swierstra Proceedings of the 2007 workshop on Programming languages meets program …, 2007	199	2007
Indexed containers T Altenkirch, P Morris 2009 24th Annual IEEE Symposium on Logic In Computer Science, 277-285, 2009	196*	2009
Type theory in type theory using quotient inductive types T Altenkirch, A Kaposi ACM SIGPLAN Notices 51 (1), 18-29, 2016	156	2016
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	151	1995
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	135	2001
Generic programming within dependently typed programming T Altenkirch, C McBride Generic Programming: IFIP TC2/WG2. 1 Working Conference Programming July 11 …, 2003	127	2003
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	121	1993
Constructions, inductive types and strong normalization T Altenkirch University of Edinburgh, 1993	115	1993
Extensional equality in intensional type theory T Altenkirch Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	92	1999
A predicative analysis of structural recursion A Abel, T Altenkirch Journal of functional programming 12 (1), 1-41, 2002	90	2002
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	83	2018
Beauty in the beast W Swierstra, T Altenkirch Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 25-36, 2007	77	2007
Constructing quotient inductive-inductive types A Kaposi, A Kovács, T Altenkirch Proceedings of the ACM on Programming Languages 3 (POPL), 1-24, 2019	72	2019
Why dependent types matter J McKinna, T Altenkirch, C McBride POPL 6, 1-1, 2006	72	2006
Why dependent types matter T Altenkirch, C McBride, J McKinna Manuscript, available online, 235, 2005	72	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors