Skip to main content
Kent Academic Repository

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

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

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)
Format: PDF

J

Jakubovic, Joel, Edwards, Jonathan, Petricek, Tomas (2023) Technical Dimensions of Programming Systems. The Art, Science, and Engineering of Programming, 7 (3). Article Number 13. ISSN 2473-7321. (doi:10.22152/programming-journal.org/2023/7/13) (KAR id:100261)
Format: PDF

Jakubovic, Joel, Petricek, Tomas (2022) Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System. In: Onward! 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. . pp. 240-258. ACM ISBN 978-1-4503-9909-8. (doi:10.1145/3563835.3568736) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:99049)
Format: PDF

P

Petricek, Tomas (2022) The Gamma: Programmatic Data Exploration for Non-programmers. In: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). . pp. 1-7. IEEE ISBN 978-1-6654-4215-2. E-ISBN 978-1-6654-4214-5. (doi:10.1109/vl/hcc53370.2022.9833134) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:96635)

Petricek, Tomas (2020) Computing and Programming in Context — Introduction. Philosophy & Technology, . ISSN 2210-5433. (doi:10.1007/s13347-020-00411-w) (KAR id:82634)
Format: PDF

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)
Format: PDF

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)
Format: PDF

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)
Format: PDF

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)
Format: PDF

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)
Format: PDF

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)
Format: PDF

T

Taylor-Gooby, Peter, Petricek, Tomas, Cunliffe, Jack (2023) Covid19, Charitable Giving and Collectivism: a data-harvesting approach. Journal of Social Policy, 52 (3). pp. 473-494. ISSN 0047-2794. (doi:10.1017/S0047279421000714) (KAR id:90003)
Format: PDF Format: PDF

This list was generated on Thu Mar 28 19:47:33 2024 GMT.