Thorsten Altenkirch

Cited by

	All	Since 2019
Citations	4880	1727
h-index	38	21
i10-index	74	40

320

160

240

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 14 16 22 15 37 25 37 44 58 73 104 169 131 158 189 186 199 201 212 186 208 205 302 263 277 283 236 313 316 302

Public access

View all

21 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 at the Department of Computer Science and Engineering, Gothenburg UniversityVerified 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 GothenburgVerified 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	311	2005
Containers: Constructing strictly positive types M Abbott, T Altenkirch, N Ghani Theoretical Computer Science 342 (1), 3-27, 2005	282	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	220	1999
Monads need not be endofunctors T Altenkirch, J Chapman, T Uustalu Logical methods in computer science 11, 2015	209	2015
Categories of containers M Abbott, T Altenkirch, N Ghani Foundations of Software Science and Computation Structures: 6th …, 2003	204	2003
Observational equality, now! T Altenkirch, C McBride, W Swierstra Proceedings of the 2007 workshop on Programming languages meets program …, 2007	195	2007
Indexed containers T Altenkirch, P Morris 2009 24th Annual IEEE Symposium on Logic In Computer Science, 277-285, 2009	191*	2009
Type theory in type theory using quotient inductive types T Altenkirch, A Kaposi ACM SIGPLAN Notices 51 (1), 18-29, 2016	152	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	148	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	120	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	81	2018
Beauty in the beast W Swierstra, T Altenkirch Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 25-36, 2007	77	2007
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
Constructing quotient inductive-inductive types A Kaposi, A Kovács, T Altenkirch Proceedings of the ACM on Programming Languages 3 (POPL), 1-24, 2019	71	2019

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