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