ICFP Workshops 2020
25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020)
Powered by
Conference Publishing Consulting

25th ACM SIGPLAN International Conference on Functional Programming (ICFP 2020), August 23–28, 2020, Virtual Event, USA

Workshop ICFP Workshops 2020 – Author Index

Contents - Abstracts - Authors

A B C D E F H I J K L M O P R S T V W X Z

Allwein, Gerard TyDe '20: "Strongly Bounded Termination ..."
Bereczky, Péter Erlang '20: "Machine-Checked Natural Semantics ..."
Bernardy, Jean-Philippe Haskell '20: "Composing Effects into Tasks ..."
Bieniusa, Annette Erlang '20: "Teaching Practical Realistic ..."
Bozó, István Erlang '20: "Transformations towards Clean ..."
Chadha, Rohit TyDe '20: "Strongly Bounded Termination ..."
Chechina, Natalia Erlang '20: "Clojerl: The Expressive Power ..."
Claessen, Koen Haskell '20: "Finger Trees Explained Anew, ..." Haskell '20: "Towards Secure IoT Programming ..."
Corpa, Flavio Haskell '20: "Describing Microservices using ..."
Danielsson, Nils Anders TyDe '20: "Practical Dependent Type Checking ..."
Eisenberg, Richard A. Haskell '20: "Composing Effects into Tasks ..." Haskell '20: "Stitch: The Sound Type-Indexed ..."
Facorro, Juan Erlang '20: "Clojerl: The Expressive Power ..."
Ferreira, Carla Erlang '20: "Teaching Practical Realistic ..."
Fördős, Viktória Erlang '20: "Secure Design and Verification ..."
Harrison, William L. TyDe '20: "Strongly Bounded Termination ..."
Heeren, Bastiaan Haskell '20: "Assessing the Quality of Evolving ..."
Horpácsi, Dániel Erlang '20: "Machine-Checked Natural Semantics ..."
Ivašković, Andrej Haskell '20: "A Graded Monad for Deadlock-Free ..."
Jeuring, Johan Haskell '20: "Assessing the Quality of Evolving ..."
Kamps, Sander Haskell '20: "Assessing the Quality of Evolving ..."
Krook, Robert Haskell '20: "Towards Secure IoT Programming ..."
Leijen, Daan Haskell '20: "Effect Handlers in Haskell, ..."
Löh, Andres Haskell '20: "Staged Sums of Products ..."
López Juan, Víctor TyDe '20: "Practical Dependent Type Checking ..."
Mycroft, Alan Haskell '20: "A Graded Monad for Deadlock-Free ..."
Oliveira, José N. Haskell '20: "Type Your Matrices for Great ..."
Parès, Yves Haskell '20: "Composing Effects into Tasks ..."
Pickering, Matthew Haskell '20: "Staged Sums of Products ..."
Poór, Boldizsár Erlang '20: "Transformations towards Clean ..."
Reynolds, Thomas TyDe '20: "Strongly Bounded Termination ..."
Russo, Alejandro Haskell '20: "Towards Secure IoT Programming ..."
Santos, Armando Haskell '20: "Type Your Matrices for Great ..."
Serrano, Alejandro Haskell '20: "Describing Microservices using ..."
Stuart, David A. Haskell '20: "Scripted Signal Functions ..."
Thompson, Simon J. Erlang '20: "Machine-Checked Natural Semantics ..."
Toth, Melinda Erlang '20: "Transformations towards Clean ..."
Valliappan, Nachiappan Haskell '20: "Towards Secure IoT Programming ..."
Wu, Nicolas Haskell '20: "Staged Sums of Products ..."
Xie, Ningning Haskell '20: "Effect Handlers in Haskell, ..."
Zeller, Peter Erlang '20: "Teaching Practical Realistic ..."
Zilberstein, Noam Haskell '20: "Eliminating Bugs with Dependent ..."

41 authors

proc time: 6.32