Picture of man wearing virtual reality headset

Open Access research that explores why technology innovation occurs

Strathprints makes available Open Access scholarly outputs by Hunter Centre for Entrepreneurship based within Strathclyde Business School. Particular research specialisms within the Hunter Centre include better understanding the dynamics of how new technologies and business models move from concept to market. This research aligns with another local specialism, 'entrepreneurial ecosystems', which seeks to codify the role of context and systemic influences on entrepreneurship.

Explore some of this Open Access research from Hunter Centre for Entrepreneurship. Or explore all Strathclyde Open Access research...

Browse by Author or creator

Group by: Publication Date | Item type | No Grouping
Jump to: 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008
Number of items: 13.

2015

Ghani, Neil and Johann, Patricia and Forsberg, Fredrik Nordvall and Orsanigo, Federico and Revell, Tim (2015) Bifibrational functorial semantics of parametric polymorphism. Electronic Notes in Theoretical Computer Science, 319. pp. 165-181. ISSN 1571-0661

2014

Atkey, Robert and Ghani, Neil and Johann, Patricia; (2014) A relationally parametric model of dependent type theory. In: POPL '14 Proceedings of the 41st ACM SIGPLAN-SIGACT. ACM, USA, pp. 503-515. ISBN 9781450325448

2013

Atkey, Robert and Johann, Patricia and Kennedy, Andrew; Giacobazzi, Roberto and Cousot, Radhia, eds. (2013) Abstraction and invariance for algebraically indexed types. In: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press, GBR, pp. 87-100. ISBN 9781450318327

2012

Ghani, Neil and Johann, Patricia and Fumex, Clement (2012) Generic fibrational induction. Logical Methods in Computer Science, 8 (2). 12. ISSN 1860-5974

Atkey, Robert and Johann, Patricia and Ghani, Neil (2012) Refining inductive types. Logical Methods in Computer Science, 8 (2). 9. ISSN 1860-5974

Atkey, Robert and Ghani, Neil and Jacobs, Bart and Johann, Patricia; Birkedal, Lars, ed. (2012) Fibrational induction meets effects. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science, 7213 . Springer, EST, pp. 42-57.

2011

Ghani, Neil and Johann, Patricia and Fumex, Clement; Corradini, Andrea and Klin, Bartek and Cirstea, Corina, eds. (2011) Indexed induction and coinduction, fibrationally. In: Algebra and coalgebra in computer science. Lecture Notes in Computer Science . Springer, pp. 176-191. ISBN 9783642229435

Atkey, Robert and Johann, Patricia and Ghani, Neil; Hofmann, Martin, ed. (2011) When is a type refinement an inductive type. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science . Springer, pp. 72-87. ISBN 978-3-642-19804-5

2010

Ghani, Neil and Johann, Patricia and Fumex, Clement; Dawar, Anuj and Veith, Helmut, eds. (2010) Fibrational induction rules for initial algebras. In: Computer Science Logic. Lecture Notes In Computer Science, 6247 . Springer, pp. 336-350. ISBN 978-3-642-15204-7

Johann, Patricia and Simpson, Alex and Voigtlaender, Janis; (2010) A generic operational metatheory for algebraic effects. In: Proceedings of 25th Annual IEEE Symposium on Logic in Computer Science. ACM Press, pp. 209-218. ISBN 978-0-7695-4114-3

2009

Johann, Patricia and Ghani, Neil (2009) A principled approach to programming with nested types in Haskell. Higher-Order and Symbolic Computation, 22 (2). pp. 155-189.

Johann, Patricia and Voigtlander, Johann (2009) A family of syntactic logical relations for the semantics of Haskell-like languages. Information and Computation, 207 (2). pp. 341-368. ISSN 0890-5401

2008

Johann, Patricia and Ghani, Neil; (2008) Foundations for structured programming with GADTs. In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008. ACM Press, pp. 297-308. ISBN 978-1-59593-689-9

This list was generated on Mon Nov 28 18:00:55 2022 GMT.