Save this page
Save this page

My Saved Pages

  • Saved page.

My Saved Courses

  • Saved page.
Reset

Recently visited

  • Saved page.

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)
http://dx.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), (2018)
http://dx.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 StructuresLecture Notes in Computer Science Vol 10803, pp. 293-310, (2018)
http://dx.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 ScienceLeibniz International Proceedings in Informatics, (2017)
http://dx.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 WorldLecture Notes in Computer Science Vol 9600, pp. 109-131, (2016)
http://dx.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 StructuresLecture Notes in Computer Science, pp. 3-19, (2016)
http://dx.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