Neil Ghani

2009
44	EE	Peter Morris, Thorsten Altenkirch, Neil Ghani: A Universe of Strictly Positive Families. Int. J. Found. Comput. Sci. 20(1): 83-107 (2009)
2008
43	EE	Rawle Prince, Neil Ghani, Conor McBride: Proving Properties about Lists Using Containers. FLOPS 2008: 97-112
42	EE	Patricia Johann, Neil Ghani: Foundations for structured programming with GADTs. POPL 2008: 297-308
2007
41	EE	Neil Ghani, Alexander Kurz: Higher Dimensional Trees, Algebraically. CALCO 2007: 226-241
40	EE	Peter Morris, Thorsten Altenkirch, Neil Ghani: Constructing Strictly Positive Families. CATS 2007: 111-121
39	EE	Patricia Johann, Neil Ghani: Initial Algebra Semantics Is Enough! TLCA 2007: 207-222
38	EE	Neil Ghani, Patricia Johann: Monadic augment and generalised short cut fusion. J. Funct. Program. 17(6): 731-776 (2007)
2006
37	EE	Neil Ghani, John Power: Preface. Electr. Notes Theor. Comput. Sci. 164(1): 1-2 (2006)
36	EE	Neil Ghani, Peter Hancock, Dirk Pattinson: Continuous Functions on Final Coalgebras. Electr. Notes Theor. Comput. Sci. 164(1): 141-155 (2006)
35	EE	Neil Ghani, Tarmo Uustalu, Makoto Hamana: Explicit substitutions and higher-order syntax. Higher-Order and Symbolic Computation 19(2-3): 263-282 (2006)
34	EE	Ronald Brown, Neil Ghani, Anne Heyworth, Christopher D. Wensley: String rewriting for double coset systems. J. Symb. Comput. 41(5): 573-590 (2006)
2005
33	EE	Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene: Monadic augment and generalised short cut fusion. ICFP 2005: 294-305
32	EE	Michael Abbott, Neil Ghani, Christoph Lüth: Abstract Modularity. RTA 2005: 46-60
31	EE	Johan Glimming, Neil Ghani: Difunctorial Semantics of Object Calculus. Electr. Notes Theor. Comput. Sci. 138(2): 79-94 (2005)
30	EE	Michael Abbott, Thorsten Altenkirch, Conor McBride, Neil Ghani: for Data: Differentiating Data Structures. Fundam. Inform. 65(1-2): 1-28 (2005)
29	EE	Neil Ghani, Christoph Lüth, Federico De Marchi: Monads of coalgebras: rational terms and term graphs. Mathematical Structures in Computer Science 15(3): 433-451 (2005)
28	EE	Michael Abbott, Thorsten Altenkirch, Neil Ghani: Containers: Constructing strictly positive types. Theor. Comput. Sci. 342(1): 3-27 (2005)
2004
27	EE	Neil Ghani, Tarmo Uustalu, Varmo Vene: Build, Augment and Destroy, Universally. APLAS 2004: 327-347
26	EE	Michael Abbott, Thorsten Altenkirch, Neil Ghani: Representing Nested Inductive Types Using W-Types. ICALP 2004: 59-71
25	EE	Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride: Constructing Polymorphic Programs with Quotient Types. MPC 2004: 2-15
24		Neil Ghani, Tarmo Uustalu, Varmo Vene: Generalizing the AUGMENT combinator. Trends in Functional Programming 2004: 65-78
23	EE	Neil Ghani, Kidane Yemane, Björn Victor: Relationally Staged Computations in Calculi of Mobile Processes. Electr. Notes Theor. Comput. Sci. 106: 105-120 (2004)
2003
22	EE	Michael Abbott, Thorsten Altenkirch, Neil Ghani: Categories of Containers. FoSSaCS 2003: 23-38
21	EE	Neil Ghani, Tarmo Uustalu: Explicit substitutions and higher-order syntax. MERLIN 2003
20	EE	Neil Ghani, Anne Heyworth: A Rewriting Alternative to Reidemeister-Schreier. RTA 2003: 452-466
19	EE	Michael Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride: Derivatives of Containers. TLCA 2003: 16-30
18	EE	Federico De Marchi, Neil Ghani, Christoph Lüth: Solving Algebraic Equations Using Coalgebra. ITA 37(4): 301-314 (2003)
17		Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Dualising Initial Algebras. Mathematical Structures in Computer Science 13(2): 349-370 (2003)
16		Neil Ghani, Christoph Lüth: Rewriting Via Coinserters. Nord. J. Comput. 10(4): 290-312 (2003)
2002
15		Neil Ghani, Christoph Lüth, Federico De Marchi: Coalgebraic approaches to algebraic terms. FICS 2002: 6-8
14	EE	Christoph Lüth, Neil Ghani: Monads and Modularity. FroCos 2002: 18-32
13	EE	Christoph Lüth, Neil Ghani: Composing monads using coproducts. ICFP 2002: 133-144
12	EE	Neil Ghani, Anne Heyworth: Computing over K-modules. Electr. Notes Theor. Comput. Sci. 61: (2002)
11	EE	Neil Ghani, Christoph Lüth, Federico De Marchi: Coalgebraic Monads. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
2001
10	EE	Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Algebras, Coalgebras, Monads and Comonads. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
2000
9	EE	Neil Ghani, Valeria de Paiva, Eike Ritter: Linear Explicit Substitutions. Logic Journal of the IGPL 8(1): (2000)
1999
8		Neil Ghani, Valeria de Paiva, Eike Ritter: Categorical Models of Explicit Substitutions. FoSSaCS 1999: 197-211
1998
7	EE	Neil Ghani, Valeria de Paiva, Eike Ritter: Explicit Substitutions for Constructive Necessity. ICALP 1998: 743-754
1997
6		Christoph Lüth, Neil Ghani: Monads and Modular Term Rewriting. Category Theory and Computer Science 1997: 69-86
5		Roberto Di Cosmo, Neil Ghani: On Modular Properties of Higher Order Extensional Lambda Calculi. ICALP 1997: 237-247
4		Neil Ghani: Eta-Expansions in Dependent Type Theory - The Calculus of Constructions. TLCA 1997: 164-180
1996
3		Neil Ghani: Eta-Expansions in Fomega. CSL 1996: 182-197
1995
2		Neil Ghani: ßn-Equality for Coproducts. TLCA 1995: 171-185
1		C. Barry Jay, Neil Ghani: The Virtues of Eta-Expansion. J. Funct. Program. 5(2): 135-154 (1995)

Coauthor Index

1	Michael Abbott	[19] [22] [25] [26] [28] [30] [32]
2	Thorsten Altenkirch	[19] [22] [25] [26] [28] [30] [40] [44]
3	Ronald Brown	[34]
4	Roberto Di Cosmo	[5]
5	Johan Glimming	[31]
6	Makoto Hamana	[35]
7	Peter Hancock	[36]
8	Anne Heyworth	[12] [20] [34]
9	C. Barry Jay	[1]
10	Patricia Johann	[33] [38] [39] [42]
11	Alexander Kurz	[41]
12	Christoph Lüth	[6] [10] [11] [13] [14] [15] [16] [17] [18] [29] [32]
13	Federico De Marchi	[10] [11] [15] [17] [18] [29]
14	Conor McBride	[19] [25] [30] [43]
15	Peter Morris	[40] [44]
16	Valeria de Paiva	[7] [8] [9]
17	Dirk Pattinson	[36]
18	John Power (A. John Power)	[10] [17] [37]
19	Rawle Prince	[43]
20	Eike Ritter	[7] [8] [9]
21	Tarmo Uustalu	[21] [24] [27] [33] [35]
22	Varmo Vene	[24] [27] [33]
23	Björn Victor	[23]
24	Christopher D. Wensley	[34]
25	Kidane Yemane	[23]

Colors in the list of coauthors