- EtaExpansions in Dependent Type Theory ---The Calculus of Constructions
- Monads and Modular Term Rewriting Christoph Luth 1 and Neil Ghani 2
- Adjoint Rewriting University of Edinburgh
- Modularity and Implementation of Mathematical Operational Semantics
- Under consideration for publication in Math. Struct. in Comp. Science Monads of Coalgebras: Rational Terms and
- A Rewriting Alternative to Reidemeister-Schreier
- Explicit Substitutitions for Constructive Neil Ghani, Valeria de Paiva, and Eike Ritter ?
- Under consideration for publication in Math. Struct. in Comp. Science Dualizing Initial Algebras
- EtaExpansions III ---F ! LIENSDMI, Ecole Normale Superieure
- Composing Monads Using Coproducts Christoph L
- On modular properties of higher order extensional lambda calculi Roberto Di Cosmo Neil Ghani
- Theoretical Informatics and Applications Will be set by the publisher Informatique Th eorique et Applications
- Monads and Modularity Christoph Luth 1 and Neil Ghani 2
- Linear Explicit Substitutions NEIL GHANI, School of Computer Science, University of Birmingham,
- fijEquality for Coproducts LFCS, Department of Computer Science
- Constructing Polymorphic Programs with Quotient Michael Abbott 1 , Thorsten Altenkirch 2 , Neil Ghani 1 , and Conor McBride 3
- WOOD 2004 Preliminary Version Difunctorial Semantics of Object Calculus
- J. Functional Programming 1 (1): 1--000, January 1993 c fl Cambridge University Press 1
- Nordic Journal of Computing Rewriting Via Coinserters
- Representing Nested Inductive Types using Wtypes
- Higher Dimensional Trees, Algebraically Neil Ghani1
- Monads Need Not Be Endofunctors Thorsten Altenkirch, University of Nottingham
- REPRESENTATIONS OF STREAM PROCESSORS USING NESTED FIXED POINTS
- Abstract Modularity Michael Abbott 1 , Neil Ghani 1 and Christoph Luth 2
- String-rewriting for Double Coset Systems Ronald Brown a;1 , Neil Ghani b , Anne Heyworth b;2 ,
- Derivatives of Containers Michael Abbott 1 , Thorsten Altenkirch 2 , Neil Ghani 1 , and Conor McBride 3
- Theoretical Informatics and Applications Will be set by the publisher Informatique Th eorique et Applications
- Generalizing the AUGMENT Neil Ghani 1 , Tarmo Uustalu 2 , and Varmo Vene 3
- Ab Cats Alg Geom Moduli Derived Cats Triangulated Cats And Back Again Triangulated Categories in Algebraic Geometry
- Categorical Proof Theory of Modal Logics Dirk Pattinson, Imperial College London
- Explicit Substitutions and HigherOrder Syntax Neil Ghani 1 and Tarmo Uustalu 2
- Under consideration for publication in J. Functional Programming 1 Monadic Augment and Generalised Short Cut
- Under consideration for publication in Math. Struct. in Comp. Science An Algebraic Foundation and
- When is a Type Refinement an Inductive Type? Robert Atkey, Patricia Johann and Neil Ghani
- Haskell Programming with Nested Types: A Principled Patricia Johann and Neil Ghani
- Continuous Functions on Final Coalgebras Neil Ghani1
- Foundations for Structured Programming with GADTs Patricia Johann
- Short Cut Fusion of Recursive Programs with Computational
- Monadic Fold, Monadic Build, Monadic Short Cut Fusion A research paper by Patricia Johann and Neil Ghani
- Indexed Induction and Coinduction, Fibrationally Clment Fumex, Neil Ghani, and Patricia Johann
- Fibrational Induction Rules for Initial Algebras Neil Ghani, Patricia Johann, and Clement Fumex
- Initial Algebra Semantics is Enough! Patricia Johann
