Thorsten Altenkirch

Cited by

	All	Since 2018
Citations	4378	1507
h-index	35	19
i10-index	72	37

320

160

240

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 12 9 18 22 16 36 23 35 51 50 70 102 148 142 154 180 188 189 220 226 186 207 212 297 267 270 289 234 305 142

Public access

View all

16 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
James ChapmanIOGVerified email at iohk.io
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
Paolo CapriottiPostdoc, Technische Universität DarmstadtVerified email at mathematik.tu-darmstadt.de
Wouter SwierstraUniversiteit UtrechtVerified email at uu.nl
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
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerified email at cs.bham.ac.uk
James McKinnaHeriot-Watt University, EdinburghVerified email at hw.ac.uk
Gabe DijkstraPhD candidate Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
András KovácsEötvös Loránd UniversityVerified email at inf.elte.hu
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
Fredrik Nordvall ForsbergUniversity of StrathclydeVerified email at strath.ac.uk
Nicolas OuryVerified email at ed.ac.uk
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerified email at chalmers.se
Bengt NordströmProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se

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	279	2005
Containers: Constructing strictly positive types M Abbott, T Altenkirch, N Ghani Theoretical Computer Science 342 (1), 3-27, 2005	249	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	203	1999
Observational equality, now! T Altenkirch, C McBride, W Swierstra Proceedings of the 2007 workshop on Programming languages meets program …, 2007	179	2007
Categories of containers M Abbott, T Altenkirch, N Ghani Foundations of Software Science and Computation Structures: 6th …, 2003	176	2003
Indexed containers T Altenkirch, P Morris 2009 24th Annual IEEE Symposium on Logic In Computer Science, 277-285, 2009	174*	2009
Monads need not be endofunctors T Altenkirch, J Chapman, T Uustalu Foundations of Software Science and Computational Structures: 13th …, 2010	170	2010
Categorical reconstruction of a reduction free normalization proof T Altenkirch, M Hofmann, T Streicher Category Theory and Computer Science 953, 182-199, 1995	135	1995
Type theory in type theory using quotient inductive types T Altenkirch, A Kaposi ACM SIGPLAN Notices 51 (1), 18-29, 2016	128	2016
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	125	2001
Generic programming within dependently typed programming T Altenkirch, C McBride Generic Programming: IFIP TC2/WG2. 1 Working Conference Programming July 11 …, 2003	120	2003
Constructions, inductive types and strong normalization T Altenkirch University of Edinburgh, 1993	116	1993
A formalization of the strong normalization proof for System F in LEGO T Altenkirch Typed Lambda Calculi and Applications: International Conference on Typed …, 1993	113	1993
Extensional equality in intensional type theory T Altenkirch Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	86	1999
A predicative analysis of structural recursion A Abel, T Altenkirch Journal of functional programming 12 (1), 1-41, 2002	85	2002
Beauty in the beast W Swierstra, T Altenkirch Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 25-36, 2007	73	2007
Why dependent types matter T Altenkirch, C McBride, J McKinna Manuscript, available online, 235, 2005	72	2005
Quotient inductive-inductive types T Altenkirch, P Capriotti, G Dijkstra, N Kraus, F Nordvall Forsberg Foundations of Software Science and Computation Structures: 21st …, 2018	68	2018
Why dependent types matter J McKinna, T Altenkirch, C McBride POPL 6, 1-1, 2006	67	2006
Subtyping, declaratively: An exercise in mixed induction and coinduction NA Danielsson, T Altenkirch Mathematics of Program Construction: 10th International Conference, MPC 2010 …, 2010	61	2010

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