Thu 25 Mar 2021 16:00 - 16:30 at Virtual Space C - Session 11 Chair(s): Jeremy Gibbons
Wed 24 Mar 2021 16:00 - 16:30 at Virtual Space B - Session 4 Chair(s): Ademar Aguiar

The notion of programming paradigms, with associated programming languages and methodologies, is a well established tenet of Computer Science pedagogy, enshrined in international curricula. However,this notion sits ill with Kuhn’s classic conceptualisation of a scientific paradigm as a dominant world view, which supersedes its predecessors through superior explanatory power.

Furthermore, it is not at all clear how programming paradigms are to be characterised and differentiated. Indeed, on closer inspection, apparently disparate programming paradigms are very strongly connected. Rather, they should be viewed as different traditions of a unitary Computer Science paradigm of Turing complete computation complemented by Computational Thinking.

Wed 24 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

15:00 - 16:30
Session 4Research Papers at Virtual Space B
Chair(s): Ademar AguiarFEUP, Universidade do Porto
15:00
30m
Live Q&A
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
Research Papers
Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands
DOI Media Attached
15:30
30m
Live Q&A
Interactive Music and Synchronous Reactive Programming
Research Papers
Bertrand PetitINRIA, France, Manuel SerranoInria, France
DOI Media Attached
16:00
30m
Live Q&A
Programming Paradigms, Turing Completeness and Computational Thinking
Research Papers
Greg MichaelsonHeriot-Watt University
DOI Media Attached

Thu 25 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

15:00 - 16:30
Session 11Research Papers at Virtual Space C
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford
15:00
30m
Live Q&A
Functional Programming in Pattern-Match-Oriented Programming Style
Research Papers
Satoshi EgiRakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi NishiwakiThe University of Tokyo
DOI Media Attached
15:30
30m
Live Q&A
Lake symbols for island parsing
Research Papers
Katsumi OkudaThe University of Tokyo / Mitsubishi Electric Corporation, Shigeru ChibaThe University of Tokyo
DOI Media Attached
16:00
30m
Live Q&A
Programming Paradigms, Turing Completeness and Computational Thinking
Research Papers
Greg MichaelsonHeriot-Watt University
DOI Media Attached