Thorsten Altenkirch

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Conor McBride

> Home > Persons > Thorsten Altenkirch

Publications

2016
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AltenkirchM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/AltenkirchM16
Thorsten Altenkirch, Conor McBride:
Selected papers from Dependently Typed Programming 2010 - Overview. Math. Struct. Comput. Sci. 26(1): 1-2 (2016)
2015
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AltenkirchGHMM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AltenkirchGHMM15
Thorsten Altenkirch, Neil Ghani, Peter G. Hancock, Conor McBride, Peter Morris:
Indexed containers. J. Funct. Program. 25 (2015)
2013
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/HancockMGMA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/HancockMGMA13
Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch:
Small Induction Recursion. TLCA 2013: 156-172
2007
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/AltenkirchMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/AltenkirchMS07
Thorsten Altenkirch, Conor McBride, Wouter Swierstra:
Observational equality, now! PLPV 2007: 57-68
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/types/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/2006
Thorsten Altenkirch, Conor McBride:
Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4502, Springer 2007, ISBN 978-3-540-74463-4 [contents]
2006
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ssdgp/AltenkirchMM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssdgp/AltenkirchMM06
Thorsten Altenkirch, Conor McBride, Peter Morris:
Generic Programming with Dependent Types. SSDGP 2006: 209-257
2005
[j3]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- export record
  dblp key:
  - journals/fuin/AbbottAMG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AbbottAMG05
Michael Gordon Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani:
for Data: Differentiating Data Structures. Fundam. Informaticae 65(1-2): 1-28 (2005)
[c22]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sfp/ChapmanAM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/ChapmanAM05
James Chapman, Thorsten Altenkirch, Conor McBride:
Epigram reloaded: a standalone typechecker for ETT. Trends in Functional Programming 2005: 79-94
2004
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/AbbottAGM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/AbbottAGM04
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride:
Constructing Polymorphic Programs with Quotient Types. MPC 2004: 2-15
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/types/MorrisAM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/MorrisAM04
Peter Morris, Thorsten Altenkirch, Conor McBride:
Exploring the Regular Tree Types. TYPES 2004: 252-267
2003
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/AbbottAGM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/AbbottAGM03
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride:
Derivatives of Containers. TLCA 2003: 16-30
2002
[c14]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ifip2-1/AltenkirchM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip2-1/AltenkirchM02
Thorsten Altenkirch, Conor McBride:
Generic Programming within Dependently Typed Programming. Generic Programming 2002: 1-20

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.