Federico Orsanigo

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 2

Top Topics

Domain Knowledge

Image Sequences

Parametric Models

Top Venues

Math. Struct. Comput. Sci.

A List of Successes That Can Change the World

University of Strathclyde, Glasgow, UK (PHD)

Education History

University of Strathclyde, Glasgow, UK

PHD

Publications

Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
Universal properties for universal types in bifibrational parametricity. Math. Struct. Comput. Sci. 29 (6) (2019)
Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
Proof-Relevant Parametricity. A List of Successes That Can Change the World (2016)
Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo
Parametric Polymorphism - Universally. WoLLIC (2015)
Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg, Federico Orsanigo, Tim Revell
Bifibrational Functorial Semantics of Parametric Polymorphism. MFPS (2015)