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 James Chapman 0001

> Home > Persons > Thorsten Altenkirch

Publications

2015
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AltenkirchCU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AltenkirchCU14
Thorsten Altenkirch, James Chapman, Tarmo Uustalu:
Monads need not be endofunctors. Log. Methods Comput. Sci. 11(1) (2015)
2014
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/AltenkirchCU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/AltenkirchCU14
Thorsten Altenkirch, James Chapman, Tarmo Uustalu:
Relative Monads Formalised. J. Formaliz. Reason. 7(1): 1-43 (2014)
2010
[c36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/AltenkirchCU10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AltenkirchCU10
Thorsten Altenkirch, James Chapman, Tarmo Uustalu:
Monads Need Not Be Endofunctors. FoSSaCS 2010: 297-311
2009
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/AltenkirchC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/AltenkirchC09
Thorsten Altenkirch, James Chapman:
Big-step normalisation. J. Funct. Program. 19(3-4): 311-333 (2009)
2006
[c26]
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/mpc/Altenkirch006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/Altenkirch006
Thorsten Altenkirch, James Chapman:
Tait in One Big Step. MSFP@MPC 2006
2005
[c22]
- no documents available
  - details & citations
- 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

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.