Skip to main content

Items where Author, Editor or other role is "Petricek, Tomas"

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: E | P | T
Number of items: 9.

E

Edwards, Jonathan, Kell, Stephen, Petricek, Tomas, Church, Luke (2019) Evaluating programming systems design. In: PPIG 2019, 28-30 Aug 2019, Newcastle upon Tyne, United Kingdom. (Unpublished) (KAR id:79905)
[thumbnail of PPIG_2019_paper_6.pdf]
Preview

P

Petricek, Tomas (2020) Computing and Programming in Context — Introduction. Philosophy & Technology, . ISSN 2210-5433. (doi:10.1007/s13347-020-00411-w) (KAR id:82634)
[thumbnail of Petricek2020_Article_ComputingAndProgrammingInConte.pdf]
Preview

Petricek, Tomas (2017) Data exploration through dot-driven development. In: ECOOP 2017. ECOOP’17. . 21:1-21:27. Schloss Dagstuhl – Leibniz-Zentrum ISBN 978-3-95977-035-4. (doi:10.4230/LIPIcs.ECOOP.2017.0) (KAR id:67139)
[thumbnail of paper.pdf]
Preview

Petricek, Tomas (2017) Miscomputation in software: Learning to live with errors. The Art, Science, and Engineering of Programming, 1 (2). Article Number 14. ISSN 2473-7321. E-ISSN 2473-7321. (doi:10.22152/programming-journal.org/2017/1/14) (KAR id:67145)
[thumbnail of paper.pdf]
Preview

Petricek, Tomas, Guerra, Gustavo, Syme, Don (2016) Types from Data: Making Structured Data First-class Citizens in F#. In: PLDI 2016. Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI Programming Language Design and Implementation . pp. 477-490. ACM, New York, USA ISBN 978-1-4503-4261-2. (doi:10.1145/2908080.2908115) (KAR id:67140)
[thumbnail of paper.pdf]
Preview

Petricek, Tomas (2015) Against a Universal Definition of 'Type'. In: Onward! 2015 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. SPLASH Systems, Programming, and Applications . ACM, New York, USA, pp. 254-266. ISBN 978-1-4503-3688-8. (doi:10.1145/2814228.2814249) (KAR id:67144)
[thumbnail of against-types-v2.pdf]
Preview

Petricek, Tomas, Orchard, Dominic A., Mycroft, Alan (2014) Coeffects: A calculus of context-dependent computation. Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, . pp. 123-135. ISSN 0362-1340. E-ISSN 1558-1160. (doi:10.1145/2628136.2628160) (KAR id:57493)
[thumbnail of paper.pdf]
Preview

Petricek, Tomas and Syme, Don (2014) The F# Computation Expression Zoo. In: Flatt, Matthew and Guo, Hai-Feng, eds. Practical Aspects of Declarative Languages. Lecture Notes in Computer Science . Springer, New York, NY, USA, pp. 33-48. ISBN 978-3-319-04131-5. (doi:10.1007/978-3-319-04132-2_3) (KAR id:69692)
[thumbnail of computation-zoo.pdf]
Preview

T

Taylor-Gooby, Peter, Petricek, Tomas, Cunliffe, Jack (2021) Covid, charities and social cohesion. Journal of Social Policy, . ISSN 0047-2794. (In press) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:90003)
[thumbnail of Taylor_Gooby_Covid, Charities and Social Cohesion _TaylorGooby.pdf] [thumbnail of Taylor-Gooby_Reviewer's comments and responses 6 May 2021.docx]

This list was generated on Sat Jan 22 19:55:50 2022 GMT.