Thorsten Altenkirch Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Todd D. Millstein: Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, PLPV 2009, Savannah, GA, USA, January 20, 2009 ACM 2009
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Peter Morris: Indexed Containers. LICS 2009: 277-285
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Morris, Thorsten Altenkirch, Neil Ghani: A Universe of Strictly Positive Families. Int. J. Found. Comput. Sci. 20(1): 83-107 (2009)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, James Chapman: Big-step normalisation. J. Funct. Program. 19(3-4): 311-333 (2009)
2008
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander S. Green, Thorsten Altenkirch: From Reversible to Irreversible Computations. Electr. Notes Theor. Comput. Sci. 210: 65-74 (2008)
2007
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Conor McBride: Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers Springer 2007
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Morris, Thorsten Altenkirch, Neil Ghani: Constructing Strictly Positive Families. CATS 2007: 111-121
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWouter Swierstra, Thorsten Altenkirch: Beauty in the beast. Haskell 2007: 25-36
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Conor McBride, Wouter Swierstra: Observational equality, now! PLPV 2007: 57-68
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Jonathan Grattage, Juliana Kaizer Vizzotto, Amr Sabry: An Algebra of Pure Quantum Programming. Electr. Notes Theor. Comput. Sci. 170: 23-47 (2007)
2006
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry: Structuring quantum effects: superoperators as arrows. Mathematical Structures in Computer Science 16(3): 453-468 (2006)
2005
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Jonathan Grattage: A Functional Quantum Programming Language. LICS 2005: 249-258
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Chapman, Thorsten Altenkirch, Conor McBride: Epigram reloaded: a standalone typechecker for ETT. Trends in Functional Programming 2005: 79-94
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuliana Kaizer Vizzotto, Thorsten Altenkirch, Amr Sabry: Structuring quantum effects: superoperators as arrows CoRR abs/quant-ph/0501151: (2005)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani: for Data: Differentiating Data Structures. Fundam. Inform. 65(1-2): 1-28 (2005)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Abbott, Thorsten Altenkirch, Neil Ghani: Containers: Constructing strictly positive types. Theor. Comput. Sci. 342(1): 3-27 (2005)
2004
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Tarmo Uustalu: Normalization by Evaluation for lambda-2. FLOPS 2004: 260-275
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Abbott, Thorsten Altenkirch, Neil Ghani: Representing Nested Inductive Types Using W-Types. ICALP 2004: 59-71
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride: Constructing Polymorphic Programs with Quotient Types. MPC 2004: 2-15
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Morris, Thorsten Altenkirch, Conor McBride: Exploring the Regular Tree Types. TYPES 2004: 252-267
2003
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Abbott, Thorsten Altenkirch, Neil Ghani: Categories of Containers. FoSSaCS 2003: 23-38
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride: Derivatives of Containers. TLCA 2003: 16-30
2002
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Conor McBride: Generic Programming within Dependently Typed Programming. Generic Programming 2002: 1-20
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Abel, Thorsten Altenkirch: A predicative analysis of structural recursion. J. Funct. Program. 12(1): 1-41 (2002)
2001
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott: Normalization by Evaluation for Typed Lambda Calculus with Coproducts. LICS 2001: 303-310
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Thierry Coquand: A Finitary Subsystem of the Polymorphic lambda-Calculus. TLCA 2001: 22-28
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch: Representations of First Order Function Types as Terminal Coalgebras. TLCA 2001: 8-21
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Gibbons, Graham Hutton, Thorsten Altenkirch: When is a function a fold or an unfold? Electr. Notes Theor. Comput. Sci. 44(1): (2001)
1999
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus: Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers Springer 1999
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Bernhard Reus: Monadic Presentations of Lambda Terms Using Generalized Inductive Types. CSL 1999: 453-468
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch: Extensional Equality in Intensional Type Theory. LICS 1999: 412-420
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Abel, Thorsten Altenkirch: A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types. TYPES 1999: 21-40
1998
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch: Logical Relations and Inductive/Coinductive Types. CSL 1998: 343-354
1996
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Martin Hofmann, Thomas Streicher: Reduction-Free Normalisation for a Polymorphic System. ISTCS 1996: 146
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Martin Hofmann, Thomas Streicher: Reduction-Free Normalisation for a Polymorphic System. LICS 1996: 98-106
1995
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch, Martin Hofmann, Thomas Streicher: Categorical Reconstruction of a Reduction Free Normalization Proof. Category Theory and Computer Science 1995: 182-199
1993
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch: A Formalization of the Strong Normalization Proof for System F in LEGO. TLCA 1993: 13-28
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten Altenkirch: Proving Strong Normalization of CC by Modifying Realizability Semantics. TYPES 1993: 3-18

Coauthor Index

1Michael Abbott [17] [18] [20] [21] [23] [24]
2Andreas Abel [7] [15]
3James Chapman [26] [35]
4Thierry Coquand [13]
5Peter Dybjer [14]
6Neil Ghani [17] [18] [20] [21] [23] [24] [32] [36]
7Jeremy Gibbons [11]
8Jonathan Grattage [27] [29]
9Alexander S. Green [34]
10Martin Hofmann [3] [4] [5] [14]
11Graham Hutton [11]
12Conor McBride [16] [17] [19] [20] [24] [26] [30] [33]
13Todd D. Millstein [38]
14Peter Morris [19] [32] [36] [37]
15Wolfgang Naraschewski [10]
16Bernhard Reus [9] [10]
17Amr Sabry [25] [28] [29]
18Philip J. Scott [14]
19Thomas Streicher [3] [4] [5]
20Wouter Swierstra [30] [31]
21Tarmo Uustalu [22]
22Juliana Kaizer Vizzotto [25] [28] [29]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)