default search action
Search dblp for Publications
export results for "Simon Fowler"
@inproceedings{DBLP:journals/corr/abs-2404-05479, author = {Simon Fowler and Philipp Haller and Roland Kuhn and Sam Lindley and Alceste Scalas and Vasco T. Vasconcelos}, editor = {Diana Costa and Raymond Hu}, title = {Behavioural Types for Heterogeneous Systems (Position Paper)}, booktitle = {Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024}, series = {{EPTCS}}, volume = {401}, pages = {37--48}, year = {2024}, url = {https://doi.org/10.4204/EPTCS.401.4}, doi = {10.4204/EPTCS.401.4}, timestamp = {Wed, 12 Jun 2024 17:01:20 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2404-05479.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/FowlerKDLM23, author = {Simon Fowler and Wen Kokke and Ornela Dardha and Sam Lindley and J. Garrett Morris}, title = {Separating Sessions Smoothly}, journal = {Log. Methods Comput. Sci.}, volume = {19}, number = {3}, year = {2023}, url = {https://doi.org/10.46298/lmcs-19(3:3)2023}, doi = {10.46298/LMCS-19(3:3)2023}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/FowlerKDLM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/FowlerASGT23, author = {Simon Fowler and Duncan Paul Attard and Franciszek Sowul and Simon J. Gay and Phil Trinder}, title = {Special Delivery: Programming with Mailbox Types}, journal = {Proc. {ACM} Program. Lang.}, volume = {7}, number = {{ICFP}}, pages = {78--107}, year = {2023}, url = {https://doi.org/10.1145/3607832}, doi = {10.1145/3607832}, timestamp = {Sun, 31 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/FowlerASGT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-2308-08920, editor = {Cl{\'{e}}ment Aubert and Cinzia Di Giusto and Simon Fowler and Larisa Safina}, title = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023, Lisbon, Portugal, 19th June 2023}, series = {{EPTCS}}, volume = {383}, year = {2023}, url = {https://doi.org/10.4204/EPTCS.383}, doi = {10.4204/EPTCS.383}, timestamp = {Mon, 11 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2308-08920.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-12935, author = {Simon Fowler and Duncan Paul Attard and Franciszek Sowul and Simon J. Gay and Phil Trinder}, title = {Special Delivery: Programming with Mailbox Types (Extended Version)}, journal = {CoRR}, volume = {abs/2306.12935}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.12935}, doi = {10.48550/ARXIV.2306.12935}, eprinttype = {arXiv}, eprint = {2306.12935}, timestamp = {Tue, 27 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-12935.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/symmetry/TarnaiFGK22, author = {Tibor Tarnai and Patrick W. Fowler and Simon D. Guest and Fl{\'{o}}ri{\'{a}}n Kov{\'{a}}cs}, title = {Equiauxetic Hinged Archimedean Tilings}, journal = {Symmetry}, volume = {14}, number = {2}, pages = {232}, year = {2022}, url = {https://doi.org/10.3390/sym14020232}, doi = {10.3390/SYM14020232}, timestamp = {Wed, 27 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/symmetry/TarnaiFGK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gpce/0001GC22, author = {Simon Fowler and Vashti Galpin and James Cheney}, editor = {Bernhard Scholz and Yukiyoshi Kameyama}, title = {Language-Integrated Query for Temporal Data}, booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2022, Auckland, New Zealand, December 6-7, 2022}, pages = {5--19}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3564719.3568690}, doi = {10.1145/3564719.3568690}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gpce/0001GC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2210-12077, author = {Simon Fowler and Vashti Galpin and James Cheney}, title = {Language-Integrated Query for Temporal Data (Extended version)}, journal = {CoRR}, volume = {abs/2210.12077}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2210.12077}, doi = {10.48550/ARXIV.2210.12077}, eprinttype = {arXiv}, eprint = {2210.12077}, timestamp = {Tue, 25 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2210-12077.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/darts/00020DG21, author = {Paul Harvey and Simon Fowler and Ornela Dardha and Simon J. Gay}, title = {Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)}, journal = {Dagstuhl Artifacts Ser.}, volume = {7}, number = {2}, pages = {08:1--08:2}, year = {2021}, url = {https://doi.org/10.4230/DARTS.7.2.8}, doi = {10.4230/DARTS.7.2.8}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/darts/00020DG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijdc/FowlerHSC21, author = {Simon Fowler and Simon D. Harding and Joanna L. Sharman and James Cheney}, title = {Cross-tier Web Programming for Curated Databases: a Case Study}, journal = {Int. J. Digit. Curation}, volume = {16}, number = {1}, pages = {21}, year = {2021}, url = {https://doi.org/10.2218/ijdc.v16i1.735}, doi = {10.2218/IJDC.V16I1.735}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijdc/FowlerHSC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcde/FowlerGO21, author = {Patrick W. Fowler and Simon D. Guest and John C. Owen}, title = {Applications of symmetry in point-line-plane frameworks for {CAD}}, journal = {J. Comput. Des. Eng.}, volume = {8}, number = {2}, pages = {615--637}, year = {2021}, url = {https://doi.org/10.1093/jcde/qwab002}, doi = {10.1093/JCDE/QWAB002}, timestamp = {Tue, 15 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcde/FowlerGO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/0001KDLM21, author = {Simon Fowler and Wen Kokke and Ornela Dardha and Sam Lindley and J. Garrett Morris}, editor = {Serge Haddad and Daniele Varacca}, title = {Separating Sessions Smoothly}, booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021, August 24-27, 2021, Virtual Conference}, series = {LIPIcs}, volume = {203}, pages = {36:1--36:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.36}, doi = {10.4230/LIPICS.CONCUR.2021.36}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/0001KDLM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/00020DG21, author = {Paul Harvey and Simon Fowler and Ornela Dardha and Simon J. Gay}, editor = {Anders M{\o}ller and Manu Sridharan}, title = {Multiparty Session Types for Safe Runtime Adaptation in an Actor Language}, booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference)}, series = {LIPIcs}, volume = {194}, pages = {10:1--10:30}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.10}, doi = {10.4230/LIPICS.ECOOP.2021.10}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/00020DG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/agere/2021, editor = {Elias Castegren and Joeri De Koster and Simon Fowler}, title = {{AGERE} 2021: Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on Programming Based on Actors, Agents, and Decentralized Control, Virtual Event / Chicago, IL, USA, 17 October 2021}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3486601}, doi = {10.1145/3486601}, isbn = {978-1-4503-9104-7}, timestamp = {Thu, 11 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agere/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-06973, author = {Paul Harvey and Simon Fowler and Ornela Dardha and Simon J. Gay}, title = {Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)}, journal = {CoRR}, volume = {abs/2105.06973}, year = {2021}, url = {https://arxiv.org/abs/2105.06973}, eprinttype = {arXiv}, eprint = {2105.06973}, timestamp = {Tue, 06 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-06973.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-08996, author = {Simon Fowler and Wen Kokke and Ornela Dardha and Sam Lindley and J. Garrett Morris}, title = {Separating Sessions Smoothly}, journal = {CoRR}, volume = {abs/2105.08996}, year = {2021}, url = {https://arxiv.org/abs/2105.08996}, eprinttype = {arXiv}, eprint = {2105.08996}, timestamp = {Mon, 31 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-08996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/darts/000120, author = {Simon Fowler}, title = {Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact)}, journal = {Dagstuhl Artifacts Ser.}, volume = {6}, number = {2}, pages = {13:1--13:2}, year = {2020}, url = {https://doi.org/10.4230/DARTS.6.2.13}, doi = {10.4230/DARTS.6.2.13}, timestamp = {Fri, 06 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/darts/000120.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijdc/FowlerHSC20, author = {Simon Fowler and Simon D. Harding and Joanna L. Sharman and James Cheney}, title = {Cross-tier Web Programming for Curated Databases: a Case Study}, journal = {Int. J. Digit. Curation}, volume = {15}, number = {1}, pages = {1--15}, year = {2020}, url = {https://doi.org/10.2218/ijdc.v15i1.717}, doi = {10.2218/IJDC.V15I1.717}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijdc/FowlerHSC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nature/TurroAMGGSASFTS20, author = {Ernest Turro and William J. Astle and Karyn Megy and Stefan Gr{\"{a}}f and Daniel Greene and Olga Shamardina and Hana Lango Allen and Alba Sanchis{-}Juan and Mattia Frontini and Chantal Thys and Jonathan Stephens and Rutendo Mapeta and Oliver S. Burren and Kate Downes and Matthias Haimel and Salih Tuna and Sri V. V. Deevi and Timothy J. Aitman and David L. H. Bennett and Paul Calleja and Keren Carss and Mark J. Caulfield and Patrick F. Chinnery and Peter H. Dixon and Daniel P. Gale and Roger James and Ania Koziell and Michael A. Laffan and Adam P. Levine and Eamonn R. Maher and Hugh S. Markus and Joannella Morales and Nicholas W. Morrell and Andrew D. Mumford and Elizabeth Ormondroyd and Stuart Rankin and Augusto Rendon and Sylvia Richardson and Irene Roberts and Noemi B. A. Roy and Moin A. Saleem and Kenneth G. C. Smith and Hannah Stark and Rhea Y. Y. Tan and Andreas C. Themistocleous and Adrian J. Thrasher and Hugh Watkins and Andrew R. Webster and Martin R. Wilkins and Catherine Williamson and James Whitworth and Sean Humphray and David R. Bentley and Stephen Abbs and Lara Abulhoul and Julian Adlard and Munaza Ahmed and Hana Alachkar and David J. Allsup and Jeff Almeida{-}King and Philip Ancliff and Richard Antrobus and Ruth Armstrong and Gavin Arno and Sofie Ashford and Anthony Attwood and Paul Aurora and Christian Babbs and Chiara Bacchelli and Tamam Bakchoul and Siddharth Banka and Tadbir Bariana and Julian Barwell and Joana Batista and Helen E. Baxendale and Phil L. Beales and Agnieszka Bierzynska and Tina Biss and Maria A. K. Bitner{-}Glindzicz and Graeme C. M. Black and Marta Bleda and Iulia Blesneac and Detlef Bockenhauer and Harm Bogaard and Christian J. Bourne and Sara Boyce and John R. Bradley and Eugene Bragin and Gerome Breen and Paul Brennan and Carole Brewer and Matthew Brown and Andrew C. Browning and Michael J. Browning and Rachel J. Buchan and Matthew S. Buckland and Teofila Bueser and Carmen Bugarin Diz and John Burn and Siobhan O. Burns and Nigel Burrows and Carolyn Campbell and Gerald Carr{-}White and Ruth Casey and Jenny Chambers and John Chambers and Melanie M. Y. Chan and Calvin Cheah and Floria Cheng and Manali Chitre and Martin T. Christian and Colin Church and Jill Clayton{-}Smith and Maureen Cleary and Naomi Clements Brod and Gerry Coghlan and Elizabeth Colby and Trevor R. P. Cole and Janine Collins and Peter W. Collins and Camilla Colombo and Cecilia J. Compton and Robin Condliffe and Stuart A. Cook and H. Terence Cook and Nichola Cooper and Paul A. Corris and Abigail Furnell and Fiona Cunningham and Nicola S. Curry and Antony J. Cutler and Matthew J. Daniels and Mehul Dattani and Louise C. Daugherty and John Davis and Anthony De Soyza and Timothy Dent and Charu Deshpande and Eleanor F. Dewhurst and Sofia Douzgou and Anna M. Drazyk and Elizabeth Drewe and Daniel Duarte and Tina Dutt and J. David M. Edgar and Karen Edwards and William Egner and Melanie N. Ekani and Perry Elliott and Wendy N. Erber and Marie Erwood and Maria C. Estiu and Dafydd Gareth Evans and Gillian Evans and Tamara Everington and M{\'{e}}lanie Eyries and Hiva Fassihi and Remi Favier and Jack Findhammer and Debra Fletcher and Frances A. Flinter and R. Andres Floto and Tom Fowler and James Fox and Amy J. Frary and Courtney E. French and Kathleen Freson and Henning Gall and Vijeya Ganesan and Michael Gattens and Claire Geoghegan and Terence S. A. Gerighty and Ali G. Gharavi and Stefano Ghio and Hossein{-}Ardeschir Ghofrani and J. Simon R. Gibbs and Kate Gibson and Kimberly C. Gilmour and Barbara Girerd and Nicholas S. Gleadall and Sarah Goddard and David B. Goldstein and Keith Gomez and Pavels Gordins and David Gosal and Jodie Graham and Luigi Grassi and Lynn Greenhalgh and Andreas Greinacher and Paolo Gresele and Philip Griffiths and Sofia Grigoriadou and Russell J. Grocock and Detelina Grozeva and Mark Gurnell and Scott Hackett and Charaka Hadinnapola and William M. Hague and Rosie Hague and Matthew Hall and Helen L. Hanson and Eshika Haque and Kirsty Harkness and Andrew R. Harper and Claire L. Harris and Daniel Hart and Ahamad Hassan and Grant Hayman and Alex Henderson and Archana Herwadkar and Jonathan Hoffman and Simon Holden and Rita Horvath and Henry Houlden and Arjan C. Houweling and Luke S. G. E. Howard and Fengyuan Hu and Gavin Hudson and Joseph Hughes and Aarnoud P. Huissoon and Marc Humbert and Sarah Hunter and Matthew E. Hurles and Melita Irving and Louise Izatt and Sally A. Johnson and Stephen Jolles and Jennifer Jolley and Dragana Josifova and Neringa Jurkute and Tim Karten and Johannes Karten and Mary A. Kasanicki and Hanadi Kazkaz and Rashid Kazmi and Peter Kelleher and Anne M. Kelly and Wilf Kelsall and Carly Kempster and David G. Kiely and Nathalie Kingston and Robert Klima and Nils Koelling and Myrto Kostadima and Gabor Kovacs and Roman Kreuzhuber and Taco W. Kuijpers and Ajith Kumar and Dinakantha Kumararatne and Manju A. Kurian and Fiona Lalloo and Michele Lambert and Allan Lawrie and D. Mark Layton and Nick Lench and Claire Lentaigne and Tracy Lester and Rachel Linger and Hilary Longhurst and Lorena E. Lorenzo and Eleni Louka and Paul A. Lyons and Rajiv D. Machado and Robert V. MacKenzie Ross and Bella Madan and Jesmeen Maimaris and Samantha Malka and Sarah Mangles and Kevin J. Marchbank and Stephen Marks and Hanns{-}Ulrich Marschall and Andrew G. Marshall and Jennifer Martin and Mary Mathias and Emma Matthews and Heather Maxwell and Paul McAlinden and Mark I. McCarthy and Harriet McKinney and Aoife McMahon and Stuart Meacham and Adam J. Mead and Ignacio Medina Castello and Sarju G. Mehta and Michel Michaelides and Carolyn Millar and Shehla N. Mohammed and Shahin Moledina and David Montani and Anthony T. Moore and Monika Mozere and Keith W. Muir and Andrea H. Nemeth and William G. Newman and Michael Newnham and Sadia Noorani and Paquita Nurden and Jennifer O'Sullivan and Samya Obaji and Chris Odhams and Steven Okoli and Andrea Olschewski and Horst Olschewski and Kai Ren Ong and S. Helen Oram and Willem H. Ouwehand and Claire Palles and Sofia Papadia and Soo{-}Mi Park and David Parry and Smita Patel and Joan Paterson and Andrew Peacock and Simon H. Pearce and John Peden and Kathelijne Peerlinck and Christopher J. Penkett and Joanna Pepke{-}Zaba and Romina Petersen and Clarissa Pilkington and Kenneth E. S. Poole and Radhika Prathalingam and Bethan Psaila and Angela Pyle and Richard Quinton and Shamima Rahman and Anupama Rao and F. Lucy Raymond and Paula J. Rayner{-}Matthews and Christine Rees and Tara Renton and Christopher J. Rhodes and Andrew S. C. Rice and Alex Richter and Leema Robert and Anthony Rogers and Sarah J. Rose and Robert Ross{-}Russell and Catherine Roughley and Deborah M. Ruddy and Omid Sadeghi{-}Alavijeh and Nilesh J. Samani and Crina Samarghitean and Ravishankar B. Sargur and Robert N. Sarkany and Simon Satchell and Sinisa Savic and John A. Sayer and Genevieve Sayer and Laura Scelsi and Andrew M. Schaefer and Sol Schulman and Richard Scott and Marie Scully and Claire Searle and Werner Seeger and Arjune Sen and W. A. Carrock Sewell and Denis Seyres and Neil Shah and Susan E. Shapiro and Adam C. Shaw and Patrick J. Short and Keith Sibson and Lucy Side and Ilenia Simeoni and Michael A. Simpson and Matthew C. Sims and Suthesh Sivapalaratnam and Damian Smedley and Katherine R. Smith and Katie Snape and Nicole Soranzo and Florent Soubrier and Laura Southgate and Olivera Spasic{-}Boskovic and Simon Staines and Emily Staples and Charles A. Steward and Kathleen E. Stirrups and Alex Stuckey and Jay Suntharalingam and Emilia M. Swietlik and Petros Syrris and R. Campbell Tait and Kate Talks and Katie Tate and John M. Taylor and Jenny C. Taylor and James E. Thaventhiran and Ellen Thomas and David Thomas and Moira J. Thomas and Patrick Thomas and Kate Thomson and Glen Threadgold and Tobias Tilly and Marc Tischkowitz and Catherine Titterton and John A. Todd and Cheng{-}Hock Toh and Bas Tolhuis and Ian P. Tomlinson and Mark Toshner and Matthew Traylor and Carmen Treacy and Paul Treadaway and Richard Trembath and Wojciech Turek and Philip Twiss and Tom Vale and Chris Van Geet and Natalie van Zuydam and Maarten Vandekuilen and Anthony M. Vandersteen and Marta Vazquez{-}Lopez and Julie von Ziegenweidt and Anton Vonk{-}Noordegraaf and Annette Wagner and Quinten Waisfisz and Suellen M. Walker and Neil Walker and Klaudia Walter and James S. Ware and Christopher Watt and Lucy Wedderburn and Wei Wei and Steven B. Welch and Julie Wessels and Sarah K. Westbury and John{-}Paul Westwood and John Wharton and Deborah Whitehorn and Andrew O. M. Wilkie and Brian T. Wilson and Edwin K. S. Wong and Nicholas W. Wood and Yvette Wood and Christopher Geoffrey Woods and Emma R. Woodward and Stephen J. Wort and Austen Worth and Michael Wright and Katherine Yates and Patrick F. K. Yong and Timothy Young and Ping Yu and Patrick Yu{-}Wai{-}Man and Eliska Zlamalova}, title = {Whole-genome sequencing of patients with rare diseases in a national health system}, journal = {Nat.}, volume = {583}, number = {7814}, pages = {96--102}, year = {2020}, url = {https://doi.org/10.1038/s41586-020-2434-2}, doi = {10.1038/S41586-020-2434-2}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nature/TurroAMGGSASFTS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/0001C0L20, author = {Kwanghoon Choi and James Cheney and Simon Fowler and Sam Lindley}, title = {A polymorphic {RPC} calculus}, journal = {Sci. Comput. Program.}, volume = {197}, pages = {102499}, year = {2020}, url = {https://doi.org/10.1016/j.scico.2020.102499}, doi = {10.1016/J.SCICO.2020.102499}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/0001C0L20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/000119, author = {Simon Fowler}, editor = {Robert Hirschfeld and Tobias Pape}, title = {Model-View-Update-Communicate: Session Types Meet the Elm Architecture}, booktitle = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)}, series = {LIPIcs}, volume = {166}, pages = {14:1--14:28}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2020}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.14}, doi = {10.4230/LIPICS.ECOOP.2020.14}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/000119.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icls/FowlerLF20, author = {Samuel Fowler and Simon L{\'{e}}onard and Sebastian Fiedler}, title = {Visualising the Field: Reviewing Trends in Educational Design Research in Mathematics}, booktitle = {Interdisciplinarity in the Learning Sciences: Proceedings of the 14th International Conference of the Learning Sciences, {ICLS} 2020, [Nashville, Tennessee, USA], Online Conference, June 19-23, 2020}, publisher = {International Society of the Learning Sciences}, year = {2020}, url = {https://repository.isls.org/handle/1/6631}, timestamp = {Fri, 07 May 2021 15:45:21 +0200}, biburl = {https://dblp.org/rec/conf/icls/FowlerLF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-02191, author = {Rudi Horn and Simon Fowler and James Cheney}, title = {Language-Integrated Updatable Views (Extended version)}, journal = {CoRR}, volume = {abs/2003.02191}, year = {2020}, url = {https://arxiv.org/abs/2003.02191}, eprinttype = {arXiv}, eprint = {2003.02191}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-02191.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-03845, author = {Simon Fowler and Simon D. Harding and Joanna L. Sharman and James Cheney}, title = {Cross-tier web programming for curated databases: {A} case study}, journal = {CoRR}, volume = {abs/2003.03845}, year = {2020}, url = {https://arxiv.org/abs/2003.03845}, eprinttype = {arXiv}, eprint = {2003.03845}, timestamp = {Sat, 23 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-03845.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Fowler19a, author = {Simon Fowler}, title = {Typed concurrent functional programming with channels, actors and sessions}, school = {University of Edinburgh, {UK}}, year = {2019}, url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.783659}, timestamp = {Wed, 04 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Fowler19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/FowlerLMD19, author = {Simon Fowler and Sam Lindley and J. Garrett Morris and S{\'{a}}ra Decova}, title = {Exceptional asynchronous session types: session types without tiers}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {28:1--28:29}, year = {2019}, url = {https://doi.org/10.1145/3290341}, doi = {10.1145/3290341}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/FowlerLMD19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/Horn0C19, author = {Rudi Horn and Simon Fowler and James Cheney}, editor = {Jurri{\"{e}}n Stutterheim and Wei{-}Ngan Chin}, title = {Language-integrated updatable views}, booktitle = {{IFL} '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019}, pages = {13:1--13:12}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3412932.3412945}, doi = {10.1145/3412932.3412945}, timestamp = {Wed, 21 Jul 2021 16:22:45 +0200}, biburl = {https://dblp.org/rec/conf/ifl/Horn0C19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-10988, author = {Kwanghoon Choi and James Cheney and Simon Fowler and Sam Lindley}, title = {A Polymorphic {RPC} Calculus}, journal = {CoRR}, volume = {abs/1910.10988}, year = {2019}, url = {http://arxiv.org/abs/1910.10988}, eprinttype = {arXiv}, eprint = {1910.10988}, timestamp = {Wed, 22 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-10988.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1910-11108, author = {Simon Fowler}, title = {Model-View-Update-Communicate: Session Types meet the Elm Architecture}, journal = {CoRR}, volume = {abs/1910.11108}, year = {2019}, url = {http://arxiv.org/abs/1910.11108}, eprinttype = {arXiv}, eprint = {1910.11108}, timestamp = {Wed, 22 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-11108.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/crl/Walker18, author = {Lizzy Walker}, title = {David Thomas, Simon Fowler, and Valerie Johnson. The Silence of the Archive. London: Facet Publishing. 2017. 187p. {\textdollar}80.00 {(ISBN} 978-1783301553)}, journal = {Coll. Res. Libr.}, volume = {79}, number = {2}, pages = {298--300}, year = {2018}, url = {https://doi.org/10.5860/crl.79.2.298}, doi = {10.5860/CRL.79.2.298}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/crl/Walker18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ires/Maceviciute17c, author = {Elena Maceviciute}, title = {Review of: Thomas, David, Fowler, Simon and Johnson, Valerie. The silence of the archive. London: Facet Publishing, 2017}, journal = {Inf. Res.}, volume = {22}, number = {3}, year = {2017}, url = {http://www.informationr.net/ir/reviews/revs613.html}, timestamp = {Wed, 22 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ires/Maceviciute17c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoop/FowlerLW17, author = {Simon Fowler and Sam Lindley and Philip Wadler}, editor = {Peter M{\"{u}}ller}, title = {Mixing Metaphors: Actors as Channels and Channels as Actors}, booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017, June 19-23, 2017, Barcelona, Spain}, series = {LIPIcs}, volume = {74}, pages = {11:1--11:28}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.11}, doi = {10.4230/LIPICS.ECOOP.2017.11}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoop/FowlerLW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hworkload/TongHBFDH17, author = {Simon Tong and Shaun Helman and Nora Balfe and Camila Fowler and Emma Delmonte and R. Hutchins}, editor = {Luca Longo and Maria Chiara Leva}, title = {Workload Differences Between On-road and Off-road Manoeuvres for Motorcyclists}, booktitle = {Human Mental Workload: Models and Applications - First International Symposium, {H-WORKLOAD} 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers}, series = {Communications in Computer and Information Science}, volume = {726}, pages = {239--250}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-61061-0\_16}, doi = {10.1007/978-3-319-61061-0\_16}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hworkload/TongHBFDH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Fowler16, author = {Simon Fowler}, editor = {Massimo Bartoletti and Ludovic Henrio and Sophia Knight and Hugo Torres Vieira}, title = {An Erlang Implementation of Multiparty Session Actors}, booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016, Heraklion, Greece, 8-9 June 2016}, series = {{EPTCS}}, volume = {223}, pages = {36--50}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.223.3}, doi = {10.4204/EPTCS.223.3}, timestamp = {Wed, 22 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/Fowler16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/FowlerLW16, author = {Simon Fowler and Sam Lindley and Philip Wadler}, title = {Mixing Metaphors: Actors as Channels and Channels as Actors}, journal = {CoRR}, volume = {abs/1611.06276}, year = {2016}, url = {http://arxiv.org/abs/1611.06276}, eprinttype = {arXiv}, eprint = {1611.06276}, timestamp = {Wed, 22 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/FowlerLW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/FowlerDG15, author = {Simon Fowler and Lo{\"{\i}}c Denuzi{\`{e}}re and Adam Granicz}, editor = {Enrico Pontelli and Tran Cao Son}, title = {Reactive Single-Page Applications with Dynamic Dataflow}, booktitle = {Practical Aspects of Declarative Languages - 17th International Symposium, {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9131}, pages = {58--73}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19686-2\_5}, doi = {10.1007/978-3-319-19686-2\_5}, timestamp = {Wed, 22 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/padl/FowlerDG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/symmetry/FowlerGT14, author = {Patrick W. Fowler and Simon D. Guest and Tibor Tarnai}, title = {Symmetry Perspectives on Some Auxetic Body-Bar Frameworks}, journal = {Symmetry}, volume = {6}, number = {2}, pages = {368--382}, year = {2014}, url = {https://doi.org/10.3390/sym6020368}, doi = {10.3390/SYM6020368}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/symmetry/FowlerGT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vizsec/FowlerJSSAKL14, author = {J. Joseph Fowler and Thienne M. Johnson and Paolo Simonetto and Michael Schneider and Carlos Acedo and Stephen G. Kobourov and Loukas Lazos}, editor = {Kirsten Whitley and Sophie Engle and Lane Harrison and Fabian Fischer and Nicolas Prigent}, title = {IMap: visualizing network activity over internet maps}, booktitle = {11th Workshop on Visualization for Cyber Security, VizSec 2014, Paris, France, November 10, 2014}, pages = {80--87}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2671491.2671501}, doi = {10.1145/2671491.2671501}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vizsec/FowlerJSSAKL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/FowlerB13, author = {Simon Fowler and Edwin C. Brady}, editor = {Rinus Plasmeijer}, title = {Dependent Types for Safe and Secure Web Programming}, booktitle = {Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013}, pages = {49}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2620678.2620683}, doi = {10.1145/2620678.2620683}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/FowlerB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ehealth/FowlerSHLK11, author = {David Fowler and Martin Szomszor and Simon Hammond and John Lawrenson and Patty Kostkova}, editor = {Patty Kostkova and Martin Szomszor and David Fowler}, title = {Engagement in Online Medical Communities of Practice in Healthcare: Analysis of Messages and Social Networks}, booktitle = {Electronic Healthcare - 4th International Conference, eHealth 2011, M{\'{a}}laga, Spain, November 21-23, 2011, Revised Selected Papers}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {91}, pages = {154--157}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29262-0\_22}, doi = {10.1007/978-3-642-29262-0\_22}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ehealth/FowlerSHLK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/qic/DevittFH06, author = {Simon J. Devitt and Austin G. Fowler and Lloyd C. L. Hollenberg}, title = {Robustness of Shor's algorithm}, journal = {Quantum Inf. Comput.}, volume = {6}, number = {7}, pages = {616--629}, year = {2006}, url = {https://doi.org/10.26421/QIC6.7-5}, doi = {10.26421/QIC6.7-5}, timestamp = {Wed, 27 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/qic/DevittFH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/qic/FowlerDH04, author = {Austin G. Fowler and Simon J. Devitt and Lloyd C. L. Hollenberg}, title = {Implementation of Shor's algorithm on a linear nearest neighbour qubit array}, journal = {Quantum Inf. Comput.}, volume = {4}, number = {4}, pages = {237--251}, year = {2004}, url = {https://doi.org/10.26421/QIC4.4-1}, doi = {10.26421/QIC4.4-1}, timestamp = {Wed, 27 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/qic/FowlerDH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pakm/WillsFSCKCK04, author = {Gary B. Wills and David W. Fowler and Derek H. Sleeman and Richard Crowder and Simon Kampa and Les Carr and David Knott}, editor = {Dimitris Karagiannis and Ulrich Reimer}, title = {Issues in Moving to a Semantic Web for a Large Corporation}, booktitle = {Practical Aspects of Knowledge Management, 5th International Conference, {PAKM} 2004, Vienna, Austria, December 2-3, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3336}, pages = {378--388}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30545-3\_35}, doi = {10.1007/978-3-540-30545-3\_35}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pakm/WillsFSCKCK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Fowler98, author = {Simon Fowler}, title = {A development method for trusted real-time kernels}, school = {University of York, {UK}}, year = {1998}, url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.298326}, timestamp = {Tue, 05 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Fowler98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rtss/FowlerW97, author = {Simon Fowler and Andy J. Wellings}, title = {Formal development of a real-time kernel}, booktitle = {Proceedings of the 18th {IEEE} Real-Time Systems Symposium {(RTSS} '97), December 3-5, 1997, San Francisco, CA, {USA}}, pages = {220--229}, publisher = {{IEEE} Computer Society}, year = {1997}, url = {https://doi.org/10.1109/REAL.1997.641284}, doi = {10.1109/REAL.1997.641284}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rtss/FowlerW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ftrtft/FowlerW96, author = {Simon Fowler and Andy J. Wellings}, editor = {Bengt Jonsson and Joachim Parrow}, title = {Formal Analysis of a Real-Time Kernel Specification}, booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1135}, pages = {440--458}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61648-9\_55}, doi = {10.1007/3-540-61648-9\_55}, timestamp = {Tue, 31 Aug 2021 12:07:12 +0200}, biburl = {https://dblp.org/rec/conf/ftrtft/FowlerW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.