default search action

combined dblp search
author search
venue search
publication search

ask others

Michael Gordon Abbott

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2005
[j2]
- 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)
[j1]
- 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)
[c5]
- 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
[c4]
- 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
[c3]
- 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
[b1]
- view
  - electronic edition @ bl.uk
  - no references & citations available
- export record
  dblp key:
  - phd/ethos/Abbott03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Abbott03
Michael Gordon Abbott:
Categories of containers. University of Leicester, England, UK, 2003
[c2]
- 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
[c1]
- 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

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.