Dr Fredrik Nordvall Forsberg

Research Associate

Computer and Information Sciences

Publications

A compositional treatment of iterated open games
Ghani Neil, Kupke Clemens, Lambert Alasdair, Nordvall Forsberg Fredrik
Theoretical Computer Science Vol 741, pp. 48-57 (2018)
https://doi.org/10.1016/j.tcs.2018.05.026
Optimization strategies for integration pattern compositions
Ritter Daniel, May Norman, Nordvall Forsberg Fredrik, Rinderle-Ma Stefanie
12th ACM International Conference on Distributed and Event-based Systems (DEBS) 12th ACM International Conference on Distributed and Event-Based Systems (2018)
https://doi.org/10.1145/3210284.3210295
Quotient inductive-inductive types
Altenkirch Thorsten, Capriotti Paolo, Dijkstra Gabe, Kraus Nicolai, Nordvall Forsberg Fredrik
Foundations of Software Science and Computation Structures Lecture Notes in Computer Science Vol 10803, pp. 293-310 (2018)
https://doi.org/10.1007/978-3-319-89366-2
Variations on inductive-recursive definitions
Ghani Neil, McBride Conor, Nordvall Forsberg Fredrik, Spahn Stephan
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science 42nd International Symposium on Mathematical Foundations of Computer Science Leibniz International Proceedings in Informatics (2017)
https://doi.org/10.4230/LIPIcs.MFCS.2017.63
Proof-relevant parametricity
Ghani Neil, Nordvall Forsberg Fredrik, Orsanigo Federico
A List of Successes That Can Change the World Lecture Notes in Computer Science Vol 9600, pp. 109-131 (2016)
https://doi.org/10.1007/978-3-319-30936-1_6
Comprehensive parametric polymorphism : categorical models and type theory
Ghani Neil, Nordvall Forsberg Fredrik, Simpson Alex
Foundations of Software Science and Computation Structures Lecture Notes in Computer Science, pp. 3-19 (2016)
https://doi.org/10.1007/978-3-662-49630-5_1

more publications

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map