Picture child's feet next to pens, pencils and paper

Open Access research that is helping to improve educational outcomes for children

Strathprints makes available scholarly Open Access content by researchers in the School of Education, including those researching educational and social practices in curricular subjects. Research in this area seeks to understand the complex influences that increase curricula capacity and engagement by studying how curriculum practices relate to cultural, intellectual and social practices in and out of schools and nurseries.

Research at the School of Education also spans a number of other areas, including inclusive pedagogy, philosophy of education, health and wellbeing within health-related aspects of education (e.g. physical education and sport pedagogy, autism and technology, counselling education, and pedagogies for mental and emotional health), languages education, and other areas.

Explore Open Access education research. Or explore all of Strathclyde's Open Access research...

Browse by Author or Creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009
Number of items: 25.

2018

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2018) A type and scope safe universe of syntaxes with binding : their semantics and proofs. In: International Conference on Functional Programming 2018, 2018-09-23 - 2018-09-29.

Atkey, Robert (2018) The syntax and semantics of quantitative type theory. In: LICS '18. ACM, New York. ISBN 978-1-4503-5583-4 (In Press)

2017

Hillerström, Daniel and Lindley, Sam and Atkey, Robert and Sivaramakrishnan, KC (2017) Continuation passing style for effect handlers. In: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Leibniz International Proceedings in Informatics (LIPIcs) . Dagstuhl Publishing, Germany, 18:1-18:19.

Atkey, Robert (2017) Observed communication semantics for classical processes. In: Programming Languages and Systems. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 56-82.

2016

Atkey, Robert and Lindley, Sam and Morris, J. Garrett (2016) Conflation confers concurrency. In: A List of Successes That Can Change the World. Lecture Notes in Computer Science, 9600 . Springer, pp. 32-55. ISBN 9783319309354

2015

Atkey, Robert and Sannella, Donald (2015) ThreadSafe : static analysis for Java concurrency. Electronic Communications of the EASST, 72. ISSN 1863-2122

Atkey, Robert and Johann, Patricia (2015) Interleaving data and effects. Journal of Functional Programming, 25. ISSN 0956-7968

Atkey, Robert and Ghani, Neil and Nordvall Forsberg, Fredrik and Revell, Timothy and Staton, Sam (2015) Models for polymorphism over physical dimensions. In: 13th International Conference on Typed Lambda Calculi and Applications (TLCA'15). Leibniz International Proceedings in Informatics (LIPIcs) . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Wadern, Germany, pp. 999-1013.

2014

Atkey, Robert (2014) From parametricity to conservation laws, via Noether's Theorem. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, New York, pp. 491-502. ISBN 9781450325448

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

2013

Atkey, Robert and McBride, Conor (2013) Productive coprogramming with guarded recursion. In: Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming. ACM, New York, NY. (In Press)

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

2012

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

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.

Atkey, Robert (2012) Relational parametricity for higher kinds. In: Computer science logic. EPTCS . UNSPECIFIED. (In Press)

Atkey, Robert (2012) The semantics of parsing with semantic actions. In: Proceedings of the Twenty-Seventh Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2012). UNSPECIFIED. (In Press)

2011

Atkey, Robert (2011) Amortised resource analysis with separation logic. Logical Methods in Computer Science, 7 (2).

Atkey, Robert (2011) What is a categorical model of arrows? Electronic Notes in Theoretical Computer Science, 229 (5). pp. 19-37. ISSN 1571-0661

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

2010

Atkey, Robert (2010) Amortised resource analysis with separation logic. In: Proceedings of 19th European Symposium on Programming, ESOP 2010. Lecture Notes in Computer Science, 6012 . Springer, pp. 85-103.

Aspinall, David and Atkey, Robert and MacKenzie, Kenneth and Sannella, Donald (2010) Symbolic and analytic techniques for resource analysis of Java bytecode. In: Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Lecture Notes in Computer Science, 6084 . Springer, pp. 1-22. ISBN 9783642156397

2009

Atkey, Robert (2009) Parameterised notions of computation. Journal of Functional Programming, 19 (3-4). pp. 335-376. ISSN 0956-7968

Atkey, Robert (2009) Algebras for parameterised monads. In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009. Lecture Notes in Computer Science, 5728 . Springer, pp. 3-17.

Atkey, Robert (2009) Syntax for free: representing syntax with binding using parametricity. In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009. Lecture Notes in Computer Science, 5608 . Springer, pp. 35-49. ISBN 978-3-642-02272-2

Atkey, Robert and Lindley, Sam and Yallop, Jeremy (2009) Unembedding domain-specific languages. In: Haskell '09 Proceedings of the 2nd ACM SIGPLAN Symposium on Haskell. ACM Press, pp. 37-48. ISBN 978-1-60558-508-6

This list was generated on Fri Dec 14 19:25:09 2018 GMT.