Dr Fredrik Nordvall Forsberg

Research Associate

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
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
Extracting verified decision procedures : DPLL and resolution
Berger Ulrich, Lawrence Andrew, Nordvall Forsberg Fredrik, Seisenberger Monika
Logical Methods in Computer Science Vol 11, (2015)
http://dx.doi.org/10.2168/LMCS-11(1:6)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

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map