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