Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Neil Ghani

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 Michael Gordon Abbott

> Home > Persons > Neil Ghani

Publications

2005
[j9]
- 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)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AbbottAG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbbottAG05
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani:
Containers: Constructing strictly positive types. Theor. Comput. Sci. 342(1): 3-27 (2005)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/AbbottGL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/AbbottGL05
Michael Gordon Abbott, Neil Ghani, Christoph Lüth:
Abstract Modularity. RTA 2005: 46-60
2004
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/AbbottAG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/AbbottAG04
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani:
Representing Nested Inductive Types Using W-Types. ICALP 2004: 59-71
[c22]
- 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
2003
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/AbbottAG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AbbottAG03
Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani:
Categories of Containers. FoSSaCS 2003: 23-38
[c14]
- 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

a service of

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.