Prof Neil Ghani

Computer and Information Sciences

Publications

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)
http://dx.doi.org/10.1007/978-3-662-49630-5_1
Containers, monads and induction recursion
Ghani Neil, Hancock Peter
Mathematical Structures in Computer Science Vol 26, pp. 89-113, (2016)
http://dx.doi.org/10.1017/S0960129514000127
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)
http://dx.doi.org/10.1016/j.entcs.2015.12.011
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)
http://dx.doi.org/10.1007/978-3-662-47709-0_7
Positive inductive-recursive definitions
Ghani Neil, Nordvall Forsberg Fredrik, Malatesta Lorenzo
Logical Methods in Computer Science Vol 11, (2015)
http://dx.doi.org/10.2168/LMCS-11(1:13)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)
http://dx.doi.org/10.4230/LIPIcs.TLCA.2015.999

more publications

Projects

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
CORCON (FP7 IRSES)
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

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map