Travelled to:1 × Finland
1 × Japan
1 × Poland
1 × Spain
Collaborated with:N.Ghani T.Altenkirch C.Lüth C.McBride
Talks about:contain (2) type (2) categori (1) abstract (1) modular (1) repres (1) induct (1) deriv (1) nest (1) use (1)
Person: Michael Abbott
DBLP: Abbott:Michael
Contributed to:
2005
2004
2003
2003Wrote 4 papers:
- RTA-2005-AbbottGL #composition
- Abstract Modularity (MA, NG, CL), pp. 46–60.
- ICALP-2004-AbbottAG #induction #representation #using
- Representing Nested Inductive Types Using W-Types (MA, TA, NG), pp. 59–71.
- FoSSaCS-2003-AbbottAG #category theory
- Categories of Containers (MA, TA, NG), pp. 23–38.
- TLCA-2003-AbbottAGM
- Derivatives of Containers (MA, TA, NG, CM), pp. 16–30.