Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Michael Abbott

2000 – 2009

see FAQ

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

2005
[j2]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/AbbottAMG05
- ask others
Michael Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani: for Data: Differentiating Data Structures. Fundam. Inform. 65(1-2): 1-28 (2005)
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/AbbottAG05
- ask others
Michael Abbott, Thorsten Altenkirch, Neil Ghani: Containers: Constructing strictly positive types. Theor. Comput. Sci. 342(1): 3-27 (2005)
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/AbbottGL05
- ask others
Michael Abbott, Neil Ghani, Christoph Lüth: Abstract Modularity. RTA 2005: 46-60
2004
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icalp/AbbottAG04
- ask others
Michael Abbott, Thorsten Altenkirch, Neil Ghani: Representing Nested Inductive Types Using W-Types. ICALP 2004: 59-71
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mpc/AbbottAGM04
- ask others
Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride: Constructing Polymorphic Programs with Quotient Types. MPC 2004: 2-15
2003
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/AbbottAG03
- ask others
Michael Abbott, Thorsten Altenkirch, Neil Ghani: Categories of Containers. FoSSaCS 2003: 23-38
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/AbbottAGM03
- ask others
Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride: Derivatives of Containers. TLCA 2003: 16-30

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?