Browse by Author or Creator
Group by: Item type | No Grouping
Number of items: 11.
Atkey, Robert and Johann, Patricia and Ghani, Neil (2012) Refining inductive types. Logical Methods in Computer Science, 8 (2). ISSN 1860-5974
Jaskelioff, M. and Ghani, N. and Hutton, G. (2011) Modularity and implementation of mathematical operational semantics. Electronic Notes in Theoretical Computer Science, 229 (5). pp. 75-95. ISSN 1571-0661
Morris, Peter and Altenkirch, Thorsten and Ghani, Neil (2009) A universe of strictly positive families. International Journal of Foundations of Computer Science, 20 (1). pp. 83-107. ISSN 0129-0541
Ghani, Neil and Johann, Patricia (2009) Haskell programming with nested types: a principled approach. Higher-Order and Symbolic Computation, 22 (2). pp. 155-189.
Hancock, P. and Pattinson, D. and Ghani, N. (2009) Representations of stream processors using nested fixed points. Logical Methods in Computer Science, 5 (3).
Ghani, Neil and Malatesta, Lorenzo and Forsberg, Fredrik and Setzer, Anton (2013) Fibred data types. In: 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). IEEE, New York, pp. 243-252. ISBN 9781479904136
Atkey, Robert and Ghani, Neil and Jacobs, Bart and Johann, Patricia (2012) Fibrational induction meets effects. [Proceedings Paper]
Ghani, Neil and Johann, Patricia and Fumex, Clement (2011) Indexed induction and coinduction, fibrationally. [Proceedings Paper]
Atkey, Robert and Johann, Patricia and Ghani, Neil (2011) When is a type refinement an inductive type. [Proceedings Paper]
Ghani, Neil and Johann, Patricia and Fumex, Clement (2010) Fibrational induction rules for initial algebras. [Proceedings Paper]
Johann, Patricia and Ghani, Neil (2008) Foundations for structured programming with GADTs. [Proceedings Paper]
This list was generated on Mon Sep 1 12:19:33 2014 BST.