Picture of wind turbine against blue sky

Open Access research with a real impact...

The Strathprints institutional repository is a digital archive of University of Strathclyde research outputs.

The Energy Systems Research Unit (ESRU) within Strathclyde's Department of Mechanical and Aerospace Engineering is producing Open Access research that can help society deploy and optimise renewable energy systems, such as wind turbine technology.

Explore wind turbine research in Strathprints

Explore all of Strathclyde's Open Access research content

Browse by Author or Creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item type | No Grouping
Number of items: 14.

Article

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

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

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

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. ISSN 1388-3690

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

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

Book Section

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 Symposium on Principles of Programming Languages. ACM, New York, NY., pp. 503-515. ISBN 9781450325448

Atkey, Robert and Johann, Patricia and Kennedy, Andrew (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, pp. 87-100. ISBN 978-1-4503-1832-7

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

Ghani, Neil and Johann, Patricia and Fumex, Clement (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 (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

Ghani, Neil and Johann, Patricia and Fumex, Clement (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

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 Wed Jul 27 08:48:29 2016 BST.