Professor Neil Ghani

Computer and Information Sciences


Comprehensive parametric polymorphism : categorical models and type theory
Ghani Neil, Nordvall Forsberg Fredrik, Simpson Alex
Foundations of Software Science and Computation StructuresLecture Notes in Computer Science, pp. 3-19, (2016)
Containers, monads and induction recursion
Ghani Neil, Hancock Peter
Mathematical Structures in Computer Science Vol 26, pp. 89-113, (2016)
Bifibrational functorial semantics of parametric polymorphism
Ghani Neil, Johann Patricia, Forsberg Fredrik Nordvall, Orsanigo Federico, Revell Tim
Electronic Notes in Theoretical Computer Science Vol 319, pp. 165-181, (2015)
Parametric polymorphism - universally
Ghani Neil, Nordvall Forsberg Fredrik, Orsanigo Federico
Logic, Language, Information, and ComputationLecture Notes in Computer Science Vol 9160, pp. 81-92, (2015)
Positive inductive-recursive definitions
Ghani Neil, Nordvall Forsberg Fredrik, Malatesta Lorenzo
Logical Methods in Computer Science Vol 11, (2015)
Models for polymorphism over physical dimensions
Atkey Robert, Ghani Neil, Nordvall Forsberg Fredrik, Revell Timothy, Staton Sam
13th International Conference on Typed Lambda Calculi and Applications (TLCA'15)Leibniz International Proceedings in Informatics (LIPIcs), pp. 999-1013, (2015)

more publications


Doctoral Training Partnership (DTA - University of Strathclyde) | Dunne, Kevin
Duncan, Ross (Principal Investigator) Ghani, Neil (Co-investigator) Dunne, Kevin (Research Co-investigator)
Period 01-Oct-2014 - 01-Apr-2018
Doctoral Training Grant | Andjelkovic, Stevan
McBride, Conor (Principal Investigator) Ghani, Neil (Co-investigator) Andjelkovic, Stevan (Research Co-investigator)
Period 01-Oct-2011 - 01-Apr-2015
Homotopy Type Theory: Programming and Verification
Ghani, Neil (Principal Investigator) McBride, Conor (Co-investigator)
Period 01-Apr-2015 - 31-Mar-2019
Implementing Units of Measure in Haskell
Ghani, Neil (Principal Investigator)
Period 01-Jun-2014 - 30-Sep-2015
Ghani, Neil (Principal Investigator) Kupke, Clemens (Co-investigator) McBride, Conor (Co-investigator)
Period 01-Jan-2014 - 31-Dec-2017
Logical Relations for Program Verification
Ghani, Neil (Principal Investigator)
Period 30-Sep-2013 - 29-Sep-2017

more projects


Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map