Thorsten Altenkirch

Cited by

	All	Since 2016
Citations	3607	1322
h-index	35	20
i10-index	65	36

320

160

240

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202114 12 16 12 22 16 39 25 38 47 49 82 105 148 118 146 174 198 184 201 202 184 196 210 286 264 308 250 3

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
James ChapmanIOHKVerified email at iohk.io
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
Martin HofmannProfessor for Informatics, University of MunichVerified email at ifi.lmu.de
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
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
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKVerified email at cs.bham.ac.uk
Gabe DijkstraPhD candidate Computer Science, University of NottinghamVerified email at cs.nott.ac.uk
Nicolas OuryVerified email at ed.ac.uk
Fredrik Nordvall ForsbergUniversity of StrathclydeVerified email at strath.ac.uk
András KovácsCentral European UniversityVerified email at ceu.edu
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerified email at chalmers.se
James McKinnaUniversity of EdinburghVerified email at ed.ac.uk

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	218	2005
Containers: constructing strictly positive types M Abbott, T Altenkirch, N Ghani Theoretical Computer Science 342 (1), 3-27, 2005	195	2005
Monadic presentations of lambda terms using generalized inductive types T Altenkirch, B Reus International Workshop on Computer Science Logic, 453-468, 1999	175	1999
Observational equality, now! T Altenkirch, C McBride, W Swierstra Proceedings of the 2007 workshop on Programming languages meets program …, 2007	155	2007
Categories of containers M Abbott, T Altenkirch, N Ghani International Conference on Foundations of Software Science and Computation …, 2003	147	2003
Indexed containers T Altenkirch, N Ghani, P Hancock, C McBride, P Morris Journal of Functional Programming 25, 2015	138*	2015
Generic programming within dependently typed programming T Altenkirch, C McBride Generic Programming, 1-20, 2003	112	2003
Constructions, inductive types and strong normalization T Altenkirch University of Edinburgh, 1993	110	1993
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	108	1993
Categorical reconstruction of a reduction free normalization proof T Altenkirch, M Hofmann, T Streicher International Conference on Category Theory and Computer Science, 182-199, 1995	104	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	100	2001
Type theory in type theory using quotient inductive types T Altenkirch, A Kaposi ACM SIGPLAN Notices 51 (1), 18-29, 2016	92	2016
Monads need not be endofunctors T Altenkirch, J Chapman, T Uustalu International Conference on Foundations of Software Science and …, 2010	90	2010
Homotopy type theory: Univalent foundations of mathematics V Voevodsky Institute for Advanced Study (Princeton), The Univalent Foundations Program …, 2013	79*	2013
A predicative analysis of structural recursion A Abel, T Altenkirch Journal of functional programming 12 (1), 1-41, 2002	78	2002
Extensional equality in intensional type theory T Altenkirch Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	78	1999
Why dependent types matter T Altenkirch, C McBride, J McKinna Manuscript, available online, 235, 2005	68	2005
Beauty in the beast W Swierstra, T Altenkirch Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 25-36, 2007	63	2007
Subtyping, declaratively NA Danielsson, T Altenkirch International Conference on Mathematics of Program Construction, 100-118, 2010	54	2010
An algebra of pure quantum programming T Altenkirch, J Grattage, JK Vizzotto, A Sabry Electronic Notes in Theoretical Computer Science 170, 23-47, 2007	52	2007

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

Upload PDF

Follow this author

Cited by

Co-authors