Thorsten Altenkirch

Citée par

	Toutes	Depuis 2019
Citations	4847	1696
indice h	38	21
indice i10	74	39

320

160

240

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 14 14 16 22 15 37 25 37 44 58 73 104 169 131 158 189 186 199 201 212 186 208 204 302 263 277 283 236 311 316 273

Accès public

Tout afficher

20 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Conor McBrideReader, University of StrathclydeAdresse e-mail validée de strath.ac.uk
Ambrus KaposiEötvös Loránd University, BudapestAdresse e-mail validée de inf.elte.hu
Nicolai KrausUniversity of NottinghamAdresse e-mail validée de nottingham.ac.uk
Nils Anders DanielssonResearcher, Chalmers University of Technology and University of GothenburgAdresse e-mail validée de cse.gu.se
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyAdresse e-mail validée de ru.is
James ChapmanIOG (IOHK)Adresse e-mail validée de iohk.io
Wouter SwierstraUniversiteit UtrechtAdresse e-mail validée de uu.nl
Paolo CapriottiPostdoc, Technische Universität DarmstadtAdresse e-mail validée de mathematik.tu-darmstadt.de
Andreas AbelSenior Lecturer at the Department of Computer Science and Engineering, Gothenburg UniversityAdresse e-mail validée de gu.se
Bernhard ReusUniversity of SussexAdresse e-mail validée de sussex.ac.uk
Gabe DijkstraPhD candidate Computer Science, University of NottinghamAdresse e-mail validée de cs.nott.ac.uk
James McKinnaHeriot-Watt University, EdinburghAdresse e-mail validée de hw.ac.uk
András KovácsUniversity of GothenburgAdresse e-mail validée de chalmers.se
Fredrik Nordvall ForsbergUniversity of StrathclydeAdresse e-mail validée de strath.ac.uk
Amr SabryProfessor of Computer Science, Indiana UniversityAdresse e-mail validée de indiana.edu
Juliana VizzottoProfessora de Ciência da Computação, Universidade Federal de Santa MariaAdresse e-mail validée de inf.ufsm.br
Nicolas OuryAdresse e-mail validée de ed.ac.uk
Martín Hötzel EscardóProfessor of Theoretical Computer Science, University of Birmingham,UKAdresse e-mail validée de cs.bham.ac.uk
Peter DybjerProfessor of Computer Science, Chalmers UniversityAdresse e-mail validée de chalmers.se
Venanzio CaprettaNottingham UniversityAdresse e-mail validée de duplavis.com

Suivre

Thorsten Altenkirch

Professor of Computer Science, University of Nottingham

Adresse e-mail validée de cs.nott.ac.uk - Page d'accueil

Type Theory Category Theory Functional Programming


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
A functional quantum programming language T Altenkirch, J Grattage 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 249-258, 2005	307	2005
Containers: Constructing strictly positive types M Abbott, T Altenkirch, N Ghani Theoretical Computer Science 342 (1), 3-27, 2005	275	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	207	2015
Categories of containers M Abbott, T Altenkirch, N Ghani Foundations of Software Science and Computation Structures: 6th …, 2003	202	2003
Observational equality, now! T Altenkirch, C McBride, W Swierstra Proceedings of the 2007 workshop on Programming languages meets program …, 2007	194	2007
Indexed containers T Altenkirch, P Morris 2009 24th Annual IEEE Symposium on Logic In Computer Science, 277-285, 2009	190*	2009
Type theory in type theory using quotient inductive types T Altenkirch, A Kaposi ACM SIGPLAN Notices 51 (1), 18-29, 2016	150	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	134	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	91	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	75	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	71	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	70	2019

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs